Martin Hyland, Models for Type Theory - 16 aprile 2014
Channel: Scuola Normale Superiore
Date: 16/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/

Martin Hyland (University of Cambridge) 
Models for Type Theory

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

Program
Wednesday 16th April (morning)

09:00 - 09:50 Martin Hyland (University of Cambridge)
Models for Type Theory
Sessione 1 (Aula Dini)
10.00 - 10.30 Alberto Marcone. From WQOs to Noetherian spaces: some reverse mathematics results
10.30 - 11.00  Filippo Calderoni. Forcing e gruppi liberabili

Sessione 2 (Puteano)
10.00 - 10.30 Sara Negri. On proofs and countermodels
10.30 - 11.00 Jan von Plato. Choice sequences in proof theory
11.00 - 11.30 Coffee Break

Sessione 1 (Aula Dini)
11.30 - 12.00 Vincenzo Marra, Daniel McNeill and Andrea Pedrini. The space of directions of a polyhedron
12.00 - 12.30 Vincenzo Marra, Daniel Mcneill and Andrea Pedrini. Interpreting Lukasiewicz logic into Intuitionistic logic
12.30 - 13.00 Luca Spada. Dualities and geometry

Sessione 2 (Puteano)
11.30 - 12.00 Peter Schuster. Controesempi minimali e logica minimale
12.00 - 12.30 Francesco Ciraulo. Closed subspaces in pointfree Topology
12.30 - 13.00 Riccardo Bruni and Giacomo Sillari. Logic and strategic rationality: a revision--theoretic perspective 
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)