Alex Wilkie, The method of o-minimality - 14 aprile 2014
Channel: Scuola Normale Superiore
Date: 14/04/2014

XXV Incontro dell'Associazione Italiana di Logica e sue Applicazioni

http://ailapisa2014.weebly.com/

http://www.sns.it/didattica/lettere/menunews/convegni/anniprecedenti/20132014/aila2014/

Alex Wilkie (University of  Manchester)
The method of o-minimality

Aula Dini, Palazzo del Castelletto
Scuola Normale Superiore
Piazza del Castelletto - Pisa

Program
Monday 14th April (morning)

8:45 -- 9:15 Registration (Aula Dini)
9:15 -- 9:40 Opening (Aula Dini)
9:40 - 10:30 (Aula Dini) Alex Wilkie (University of Manchester)
The method of o-minimality
10.30 - 11.00 Coffee Break (Puteano)

Session 1 (Aula Dini)
11.00 - 11.30 Paola D'Aquino, Angus Macintyre and Giuseppina Terzo. Zero sets of exponential polynomials
11.30 - 12.00 Antongiulio Fornasiero. Homotopy theory in definably complete structures
12.00 - 12.30  Sonia L'Innocente. Rings of definable scalars of some $sl_3(\mathbb{C})$-modules
12.30 - 13.00 Tamara Servi. Quantifier Elimination for generalised quasianalytic classes

Session 2 (Puteano)
11.00 - 11.30 Enrico Moriconi. Early Structural Reasoning. Gentzen 1932.
11.30 - 12.00 Miriam Franchella. Logic according to Brouwer; logic according to Nietzsche
12.00 - 12.30 Antonino Drago. Which foundation for intuitionistic logic?
12.30 - 13.00 Luca Bellotti. Von Neumann's consistency proof 

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)