XXVI incontro dell'AILA
Padova, Orto Botanico, 25-28 Settembre 2017
Comitato scientifico / Programme Committee
- Andrea Asperti (Bologna)
- Andrea Cantini (Firenze)
- Antonio Di Nola (Salerno)
- Hykel Hosni (Milano)
- Maria Emilia Maietti (Padova)
- Giuseppe Rosolini (Genova)
- Carlo Toffalori (Camerino)
- Matteo Viale (Torino)
Comitato organizzatore locale / Local Organizing Committee
SUPPORTED BY:
AILA - Associazione Italiana di Logica e sue Applicazioni
Dipartimento di Matematica “Tullio Levi-Civita”
“Logic, Models and Sets”
“Nuovi sviluppi nella Teoria dei Modelli dell'esponenziazione”