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

XXV Incontro dell'Associazione Italiana di Logica e sue Applicazioni

http://ailapisa2014.weebly.com/

http://www.sns.it/didattica/lettere/m...

Sala Azzurra - Palazzo della Carovana
Scuola Normale Superiore
Piazza del Castelletto - Pisa

Giovedì 17 aprile

Sessione speciale Le direzioni della ricerca logica in Italia
Sala Azzurra, Palazzo della Carovana

09:00 -- 09:15 Apertura
09:15 - 10:00 Alessandro Andretta (Dipartimento di Matematica, Università di Torino) Teoria degli insiemi
10:00 - 10:45 Alessandro Berarducci (Dipartimento di Matematica, Università di Pisa), Teoria dei modelli
10:45 - 11:15 pausa caffè
11:15 - 12:00 Felice Cardone (Dipartimento Informatica di Università di Torino), Logica e informatica
12:00 - 12:45 Marcello D'Agostino (Dipartimento di Economia, Università di Ferrara), La logica nelle scienze sociali
12:45 - 14:30 pausa pranzo
14:30 - 15:15 Giangiacomo Gerla (Dipartimento di Matematica, Università di Salerno), Logica e didattica
15:15 - 16:00 Franco Montagna (Dipartimento di Matematica, Università di Siena) Logiche polivalenti
16:00 - 16:15 pausa caffè
16:15 - 17:00 Giovanni Sambin (Dipartimento di Matematica, Università di Padova) Matematica costruttiva
17:00 - 17:45 Giovanni Sartor (Istituto Europeo, Fiesole) Logica e giurisprudenza
17:45 - 18:00 Chiusura

Relazioni su invito
Alex Wilkie (School of Mathematics, University of Manchester)
Martin Hyland (Department of Pure Mathematics and Mathematical Statistics, University of Cambridge)
Jon Williamson (Centre for Reasoning, University of Kent)
Agata Ciabattoni (Technische Universität Wien)

Sessione speciale "Le direzioni della ricerca logica in Italia" (17 aprile)
Alessandro Andretta (Dipartimento di Matematica, Università di Torino)
Alessandro Berarducci (Dipartimento di Matematica, Università di Pisa)
Felice Cardone (Dipartimento Informatica di Università di Torino)
Marcello D'Agostino (Dipartimento di Economia, Università di Ferrara)
Gianni Gerla (Dipartimento di Matematica, Università di Salerno)
Massimo Mugnai (Scuola Normale Superiore)
Franco Montagna (Dipartimento di Matematica, Università di Siena)
Giovanni Sambin (Dipartimento di Matematica, Università di Padova)
Giovanni Sartor (European University Institute, Fiesole)

Comitato scientifico
Antonio Di Nola (Dipartimento di Matematica, Università di Salerno)
Hykel Hosni (London School of Economics)
Sonia L'Innocente (Università di Camerino)
Gabriele Lolli (Scuola Normale Superiore)
Massimo Mugnai (Scuola Normale Superiore)
Giuseppe Rosolini (Università di Genova)
Luca Roversi (Università di Torino)
Carlo Toffalori (Università di Camerino)