Comitato scientificoANTONIO 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)

sito web http://ailapisa2014.weebly.com email aila.pisa2004@gmail.com

twitter @ailapisa2014

AILA 2014XXV Incontro dell’Associazione Italiana di Logica e sue Applicazioni

14-17 APRILE 2014

Palazzo della CarovanaScuola Normale Superiore

Piazza dei Cavalieri, 7Pisa

El

ab

or

az

io

ne

a

c

ur

a

de

l

Se

rv

iz

io

C

om

un

ic

az

io

ne

e

R

el

az

io

ni

E

st

er

ne

|

SN

S

Relazioni su invitoALEX 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 di 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)

GNSAGAGNSAGA