The school on Computational Logic, June 29th and 30th, July 1st

The school attendees on the terrace of DIBRIS@VallettaPuggia, June 29 

The school attendees on the terrace of DIBRIS@VallettaPuggia, June 29

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