AILA - Scuola Estiva Aila

Edizioni passate della Scuola Estiva di Logica

31 agosto - 6 settembre 2008: Corsi istituzionali:; Lezioni magistrali:; Pagina web della Scuola con materiali didattici; Relazione finale del Direttore della Scuola

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

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

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

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

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

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

27 settembre - 1 ottobre 1999
Corsi istituzionali: Teoria della ricorsività, Andrea Sorbi, Università di Siena; Teoria della dimostrazione, Andrea Asperti, Università di Bologna

21-25 settembre 1998
Corsi istituzionali: Teoria degli insiemi, Franco Parlamento, Università di Udine; Teoria dei modelli, Annalisa Marcja, Università di Firenze

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