AILA - Associazione Italiana di Logica e sue Applicazioni

Archivio delle edizioni precedenti della Scuola Estiva AILA

2017

21 agosto - 26 agosto 2017

Corsi istituzionali

Teoria della Calcolabilità, Guido Gherardi, Università di Bologna.

Algebra della Logica, Luca Spada, Università di Salerno.

Lezioni magistrali

Claudo Sacerdoti Coen, Università di Bologna.

Giorgio Delzanno, Università di Genova.

2016

21 agosto - 27 agosto 2016

Corsi istituzionali

Teoria delle Categorie e Logica, Maria Emilia Maietti, Università di Padova.

Teoria degli Insiemi, Luca Motto Ros, Università di Torino.

Lezioni magistrali:

Silvio Ranise, Fondazione Bruno Kessler, Trento.

Linda Pagli, Università di Pisa, e Silvia Benvenuti, Università di Camerino.

2015

23 agosto - 29 agosto 2015

Corsi istituzionali

Teoria della calcolabilità, Daniele Mundici, Università di Firenze

Teoria dei modelli, Antongiulio Fornasiero, Università di Parma, e Tamara Servi, Università di Pisa

Lezioni magistrali:

Francesco Paoli, Università di Cagliari

Simona Ronchi Della Rocca, Università di Torino

2014

25 agosto - 30 agosto 2014

Corsi istituzionali

Teoria degli insiemi, Riccardo Camerlo, Politecnico di Torino

Teoria della dimostrazione, Sara Negri, Università di Helsinki

Lezioni magistrali:

Nicola Galesi, Università la Sapienza, Roma

Giovanni Panti, Università di Udine

2013

25 agosto - 31 agosto 2013

Corsi istituzionali

Storia della logica, Massimo Mugnai, Scuola Normale di Pisa

Logica computazionale, Davide Sangiorgi, Università di Bologna

Lezioni magistrali:

Sonia L'Innocente, Università di Camerino

Vincenzo Marra, Università degli Studi di Milano

2012

19 agosto - 25 agosto 2012

Corsi istituzionali

Teoria dei modelli, Paola D'Aquino, Seconda Università degli Studi di Napoli

Logica computazionale, Angelo Montanari, Università degli Studi di Udine

Lezioni magistrali:

Roberto Lucchetti, Politecnico di Milano

Enrico Franconi, Università di Pisa

2011

22 agosto - 27 agosto 2011

Corsi istituzionali

Teoria della calcolabilità, Antonino Salibra, Università Ca' Foscari di Venezia

Teoria degli insiemi, Alberto Marcone, Università di Udine

Lezioni magistrali:

Andrea Asperti, Università di Bologna

Enrico Franconi, Università di Bolzano

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