Financial Support

The conference is supported by Istituto Nazionale di Alta Matematica "Francesco Severi", by Università degli Studi di Genova, by DIMA and DISI of the Università degli Studi di Genova, by Dipartimento di Matematica "Federico Enriques" of the Università degli Studi di Milano, by Dipartimento di Matematica of the Università degli Studi di Bologna, by Associazione Italiana di Logica e Applicazioni which will also help support the participation of graduate students.
Those who would like to seek support should contact rosolini@disi.unige.it.