XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni

Invited Speakers 

Agata Ciabattoni (Technische Universität Wien)  Tools for the investigation of substructural and paraconsistent logics
Martin Hyland (University of Cambridge)  Models for Type Theory
Alex Wilkie (University of  Manchester) The method of o-minimality
Jon Williamson (University of Kent) Inductive logic for automated reasoning

Sessione speciale 17 aprile
Le direzioni della ricerca logica in Italia. 

Relazioni di A. Andretta, A. Berarducci, F. Cardone, M. D'Agostino, G. Gerla, F. Montagna, G. Sambin, G. Sartor.

Comitato scientifico / Programme Committee

Antonio Di Nola, Hykel Hosni, Sonia L'Innocente, Gabriele Lolli, Massimo Mugnai, Giuseppe Rosolini, Luca Roversi, Carlo Toffalori

Organizzazione locale / Local Arrangements

Hykel Hosni, Jacopo Amidei, Rossella Marrano, Luca San Mauro, Andrea Strollo
 
INFO: aila.pisa2014 @gmail.com

Live streaming of all plenary sessions

Monday 14th April

9:40-10:30 Alex Wilkie (University of Manchester)
The method of o-minimality



14.30-15.20 Jon Williamson (University of Kent)
Inductive Logic for Automated Decision Making


Tuesday 15th April

9:00-9:50 Agata Ciabattoni (Technische Universität Wien)
Tools for the investigation of substructural and paraconsistent logics



17.00-17.50 Vincenzo Mantova. Zilber fields and complex exponentiation
(PREMIO AILA)


Wednesday 16th April

09:00-09:50 Martin Hyland (University of Cambridge)
Models for Type Theory


Giovedì 17 aprile

Sessione speciale Le direzioni della ricerca logica in Italia