con il patrocinio di
ASSOCIAZIONE ITALIANA DI LOGICA E SUE APPLICAZIONI (AILA)
SOCIETA' ITALIANA DI LOGICA E FILOSOFIA DELLA SCIENZA (SILFS)
con il sostegno del
Magnifico Rettore
e dei
Dipartimenti di Scienze dell'Informazione, Filosofia, Matematica
dell'Università degli Studi di Milano
La Scuola è rivolta principalmente a laureandi, laureati e dottorandi in Filosofia, Informatica, Matematica, Fisica e Ingegneria che intendono ampliare e integrare le loro conoscenze di logica.
Programma
Corsi istituzionali, 22 - 27 agosto 2011, 9:00 - 13:00
- Teoria della calcolabilità, Antonino Salibra, Università Ca' Foscari di Venezia
- Teoria degli insiemi, Alberto Marcone, Università di Udine, slides
Lezioni magistrali
- Andrea Asperti, Università di Bologna
- Enrico Franconi, Università di Bolzano
Le lezioni della Scuola si terranno presso Palazzo Feltrinelli, Via Castello 3, Gargnano (BS) e avranno inizio alle ore 9.00 del giorno lunedì 22 agosto.
All'arrivo
Domenica 21 agosto 2011, Palazzo Feltrinelli
- 17.30 - 19.00 registrazione e sistemazione nella Foresteria
Al momento della registrazione il comitato organizzatore effettuerà l'assegnazione delle camere nella foresteria sulla base della disponibilità.
Mappa
Edizioni passate della Scuola Estiva di Logica
2010
- 29 agosto - 4 settembre 2010
- Corsi istituzionali
- Logica computazionale, Luca Viganò, Università di Verona
- Teoria dei modelli e analisi non standard, Vieri Benci e Mauro Di Nasso, Università di Pisa
- Lezioni magistrali:
- Carlo Penco, Università di Genova
- Giovanna Corsi, Università di Bologna
2009
- 23 agosto - 29 agosto 2009
- Corsi istituzionali:
- Storia e fondamenti della logica, Ettore Casari, Scuola Normale Superiore di Pisa
- Ricorsività e complessità, Simone Martini, Università di Bologna
- Lezioni magistrali:
- Giovanna D'Agostino, Università di Udine
- Matteo Viale, Università di Torino
2008
- 31 agosto - 6 settembre 2008
- Corsi istituzionali:
- Teoria della dimostrazione, Andrea Cantini, Università di Firenze
- Teoria dei modelli e algebra universale, Aldo Ursini, Università di Siena
- Lezioni magistrali:
- Logic at work, Roberto Sebastiani, Università di Trento
- Al di là del vero e del falso Daniele Mundici, Università di Firenze
- Glivenko theorem for substructural logics, Roberto Cignoli, Università di Buenos Aires
- Pagina web della Scuola con materiali didattici
2007
- 26 agosto - 1 settembre 2007
- Corsi istituzionali
- Teoria della calcolabilita', Maria Luisa Dalla Chiara, Università di Firenze e Roberto Giuntini, Università di Cagliari
- Teoria delle categorie, Eugenio Moggi, Università di Genova
- Pagina web della Scuola con materiali didattici
2006
- 3-9 settembre 2006
- Corsi istituzionali
- Teoria degli insiemi, Alessandro Andretta, Università di Torino
- Teoria dei Modelli, Alessandro Berarducci, Università di Pisa
- Pagina web della Scuola con materiali didattici
2005
- 28 agosto-3 settembre 2005
- Corsi istituzionali
- Teoria della dimostrazione: Lambda calcolo, Stefano Berardi, Università di Torino
- Teoria della dimostrazione: Metodi del ragionamento automatico , Maria Paola Bonacina, Università di Verona
- Lezioni magistrali
- Gabriele Lolli, Università di Torino
- Massimo Mugnai, Università di Firenze
- Pagina web della Scuola con materiali didattici
2004
- 30 agosto-4 settembre 2004
- Corsi istituzionali
- Logica e teoria delle categorie: semantica funtoriale del calcolo dei predicati, Aurelio Carboni, Università dell'Insubria
- Teoria degli insiemi, Marco Forti, Università di Pisa
- Lezioni magistrali
- Categorie di giochi e spazi di Chu, Stefano Vannucci, Università di Siena
- Logiche per la rappresentazione e la gestione dell'eterogeneità semantica nel semantic web, Fausto Giunchiglia, Università di Trento
- Pagina web della Scuola con materiali didattici
2002
- 23-27 settembre 2002
- Corsi istituzionali
- Teoria dei modelli, Carlo Toffalori, Università di Camerino
- Teoria della ricorsività, Franco Montagna, Università di Siena
- Lezioni magistrali
- Logiche temporali: dalla teoria alla pratica, Fausto Giunchiglia, Università di Trento
- Sulla varietà di metodi in teoria della dimostrazione, Andrea Cantini, Università di Firenze
2000
- 18-22 settembre 2000
- Corsi istituzionali
- Logica e teoria delle categorie, Silvio Ghilardi, Università di Milano
- Lambda calcolo e teoria dei tipi, Silvio Valentini, Università di Padova
- Lezioni magistrali
- Circoli virtuosi:induzione e coinduzione, Furio Honsell, Università di Udine
- Insiemi senza punti e la loro logica locale Francis Borceux Université Catholique de Louvain
1999
- 27 settembre - 1 ottobre 1999
- Corsi istituzionali
- Teoria della ricorsività, Andrea Sorbi, Università di Siena
- Teoria della dimostrazione, Andrea Asperti, Università di Bologna
1998
- 21-25 settembre 1998
- Corsi istituzionali
- Teoria degli insiemi, Franco Parlamento, Università di Udine
- Teoria dei modelli, Annalisa Marcja, Università di Firenze
1997
- 22 - 26 settembre 1997
- Corsi istituzionali
- Teoria della dimostrazione, Vito Michele Abrusci, Università di Roma Tre
- Teoria delle categorie e lambda calcolo, Giuseppe Rosolini, Università di Genova
Partecipanti
Elenco degli ammessi. Ciascuno degli ammessi verrà contattato, tramite posta elettronica, entro il mese di giugno, per perfezionare l'iscrizione.
