12 e 13 aprile, due seminari didattici del prof. Agostino Dovier "Problemi combinatori e applicazioni"

Il problema SAT, P vs NP, ed alcuni risvolti pratici.
Applicazioni della programmazione logica alla Biologia Computazionale.

Il dipartimento organizza un ciclo di Seminari Didattici, promosso nell’ambito delle attività previste dalla programmazione triennale PRO3, dal titolo 

Problemi combinatori e applicazioni.

Relatore il Prof.  Agostino Dovier della Università degli Studi di Udine. 

Organizzatore prof. Alessandro Dal Palù

Calendario:

•  12  aprile 2018  ore 14.30 (Aula C, Plesso di Matematica):
  Il problema SAT, P vs NP, ed alcuni risvolti pratici
   
• 13  aprile 2018  ore 11.30 (Aula L, Ampliament o Ingegneria Didattica):
  Applicazioni della programmazione logica alla Biologia Computazionale