Organisation

The seminar is hosted by the Logic Group at the University of Verona.

It is organised by Andrea Masini, Iosif Petrakis, Peter Schuster, and Margherita Zorzi.

This web page is maintained by Ingo Blechschmidt, Giulio Fellin and Daniel Wessel.

Feel free to contact us if you are interested in giving a talk.