The social dinner at Castello Bruzzo

• 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.