Doppio risultato del CLPLAB

E’ un piacere annunciare che i membri del CLP LAB hanno conseguito il premio per la miglior tesi di dottorato di logica computazionale e il best paper award per il convegno italiano di logica computazionale CILC 2022.

Per la precisione, Francesco Fabiano (dottore di ricerca del dottorato udinese in Informatica e Scienze matematiche e Fisiche) ha vinto il premio per la sua tesi di PhD dal titolo “Planning while believing to know“, scelta tra 9 tesi di brillanti giovani ricercatori, mentre Fabio Tardivo ha vinto il premio per il miglior lavoro, con il paper “Constraints propagation on GPU: A case study for AllDifferent” con co-autori Agostino Dovier, Andrea Formisano, Laurent Michel e Enrico Pontelli, selezionato tra una trentina di contributi scientifici.