The "GULP 30 e lode!" session, July 2nd
From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, Ugo Montanari, Stefania Costantini, Maurizio Martelli, and Agostino Dovier
From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, Ugo Montanari, Stefania Costantini, Maurizio Martelli, and Agostino Dovier
From left to right, Giovanni Adorni, Eugenio Omodeo, Gianfranco Rossi, and Ugo Montanari
From left to right, Stefania Costantini, Giovanni Adorni, Gianfranco Rossi, Eugenio Omodeo, Ugo Montanari, and Maurizio Martelli
- The school on Computational Logic (June 29th, June 30th, July 1st)
- The conference
- July 1st
- July 2nd
- Technical sessions
- Georg Gottlob's invited talk
- The "GULP 30 e lode!" session
- Conference social dinner
- July 3rd
- CILC on holidays!!!
 |
 |
 |
 |
 |
 |
 |
 |
Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.
L'evento è patrocinato dall'Università degli Studi di Genova.
