Seminari

Seminari tenuti nell’ambito PRO3:

Prof. Agostino Dovier (Università di Udine) 12 Apr 2018: Il problema SAT, P vs NP, ed alcuni risvolti pratici

Prof. Agostino Dovier (Università di Udine) 13 Apr 2018: The role of SAT, Constraint Programming, and Logic Programming in Computational Biology

Prof. Gianluca Amato (Università di Chieti-Pescara) 8 Mag 2018: Introduzione all'analisi statica di linguaggi imperativi