Georg Gottlob's invited talk, July 2nd
The talk
The talk
The audience
- 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.