Organisation

November 5, 2015

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

It is organised by Andrea MasiniIosif 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.