Il 30 luglio, subito dopo la fine della scuola GULP e all’inizio dell’edizione dei 30 anni del convegno dell’associazione GULP (di cui riferiremo a breve in altro post) è avvenuta la cerimonia di premiazione dell’edizione 2014 (il bando scadeva nel 2014) del premio per la migliore tesi di dottorato nell’area della logica computazionale bandito dalla associazione GULP.
Le tesi sottoposte a valutazione erano tutte di altissimo livello come anche testimoniato dai numerosi lavori in area logic programming e affini dei vari partecipanti. Con difficoltà, ma all’unanimità, il consiglio direttivo ha selezionato due tesi giudicate allo stesso livello, ovvero (in ordine alfabetico):
- Elena Bellodi: Integration of Logic and Probability in Terminological and
Inductive Reasoning
Dottorato di Ricerca in Scienze dell’Ingegneria, l’Università di Ferrara - Emanuele De Angelis: Software Verification and Synthesis using Constraints and Program Transformation.
Dottorato di Ricerca in Scienze – Informatica, Università ‘G.d’Annunzio’ di Chieti-Pescara
De Angelis ha riassunto i principali risultati della tesi con una brillante relazione al convegno, mentre Bellodi, impossibilitata a presenziare in quanto impegnata negli Stati Uniti d’America, lo farà all’edizione 2016 del convegno CILC a Milano.
Ai vincitori (e a tutti i partecipanti) vanno i complimenti dell’associazione GULP e i migliori auguri per il loro futuro.