con il patrocinio di
ASSOCIAZIONE ITALIANA DI LOGICA E SUE APPLICAZIONI (AILA)
SOCIETA' ITALIANA DI LOGICA E FILOSOFIA DELLA SCIENZA (SILFS)

con il sostegno dei
Dipartimenti di Informatica, Matematica, Studi Storici
dell'Università degli Studi di Milano
, e del Dipartimento di Matematica dell'Università di Salerno

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.


Palazzo Feltrinelli

Programma

Corsi istituzionali, 19 agosto - 24 agosto 2024, 9:00 - 13:00

  • Teoria dei modelli finiti e complessità, Giovanna D'Agostino e Dario Della Monica, Università degli Studi di Udine.
  • Teoria della dimostrazione, Lorenzo Tortora de Falco, Università Roma 3.

Lezioni magistrali

  • George Metcalfe, Universität Bern.
  • Carlo Toffalori, Università di Camerino.

Come partecipare

Per presentare domanda di partecipazione inviare via email il modulo in allegato entro il 31 maggio 2024.

ATTENZIONE: La scadenza è improrogabile.

L'avvenuta ricezione della domanda verrà comunicata via email all'indirizzo indicato nel modulo. In caso di mancata conferma contattare l'organizzazione all'indirizzo sel@di.unimi.it

Una volta completate le fasi di valutazione (in genere verso la metà di Giugno), ciascuno degli ammessi verrà contattato, tramite posta elettronica, per perfezionare l'iscrizione.

L'Organizzazione assegnerà ai partecipanti sistemazione, con trattamento di 1/2 pensione (cena, pernottamento e colazione), presso le foresterie del Palazzo Feltrinelli e dell'adiacente Casa F. Bertolini, fino ad esaurimento della disponibilità. Eventuali partecipanti in soprannumero dovranno provvedere personalmente alla sistemazione in un albergo della zona.

Non si effettui alcun versamento all'atto dell'iscrizione (i versamenti andranno fatti solo quando richiesto, in sede di perfezionamento dell'iscrizione).



Quote di partecipazione


Le quote seguenti sono indicative e potranno subire variazioni nelle prossime settimane.

  • Iscrizione e soggiorno (cena, pernottamento, colazione, coffee break) presso la foresteria, dal 18 agosto al 24 agosto: € 300 (6 notti)
  • Iscrizione, cena, coffee break presso la foresteria, dal 18 agosto al 24 agosto: € 150
La semplice partecipazione alle lezioni è gratuita.

I versamenti dovranno essere effettuati, entro i termini che verranno indicati (indicativamente, verso la fine di giugno), mediante bonifico bancario al conto corrente intestato a

Banca Fineco
Intestazione: Associazione Italiana di Logica e sue Applicazioni - AILA
IBAN: IT16J0301503200000003517462
BIC ricevente: UNCRITMM
BIC beneficiario: FEBIITM1
indicando la causale "Scuola Estiva 2024".

Saranno considerati decaduti dalla loro posizione i partecipanti che non abbiano inviato all'indirizzo sel@di.unimi.it entro i termini comunicati, una notifica del versamento contenente i dati identificativi del bonifico effettuato.

Per ogni dubbio relativo ai pagamenti, potete scrivere al tesoriere Lorenzo Luperi Baglini.

All'arrivo

Domenica 18 agosto 2024, 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à.

Partecipanti

I partecipanti alla Scuola verranno contattati via email, per perfezionare l'iscrizione.



Foto di gruppo dell'edizione 2024


Presentazioni Informali dei Partecipanti

Per i partecipanti è possibile contribuire presentando informalmente le proprie ricerche.


Si tratta di un'attività del tutto facoltativa, gestita autonomamente da alcuni studenti.


Chi volesse partecipare ed eventualmente contribuire, può contattare gli studenti che organizzano tale attività:


Leonardo Mazzanti (Leo.Mazzanti@campus.lmu.de), Cesare Straffelini (straffelini@ub.edu).

Edizioni passate della Scuola Estiva di Logica

2023

21 agosto - 26 agosto 2023
Corsi istituzionali:
Logica categoriale, Nicola Gambino, University of Manchester.
Teoria degli insiemi, Matteo Viale, Università degli Studi di Torino.
Lezioni magistrali:
Andrea Cantini, Università degli Studi di Firenze.
Zena Ariola. University of Oregon.

2022

22 agosto - 27 agosto 2022
Corsi istituzionali:
Algebra della Logica, Vincenzo Marra, Università degli Studi di Milano.
Teoria dei modelli e analisi non standard, Lorenzo Luperi Baglini, Università degli Studi di Milano.
Lezioni magistrali:
Alessandra Palmigiano, Vrije Universiteit Amsterdam.
Vincenzo Fano. Università di Urbino.

2019

25 agosto - 31 agosto 2019
Corsi istituzionali:
Storia e Filosofia della Logica, Mario Piazza, Scuola Normale Superiore di Pisa.
Teoria della Ricorsività, Andrea Sorbi, Università di Siena.
Lezioni magistrali:
Peter Schuster, Università di Verona.
Luigi Santocanale, Aix-Marseille Université.

2018

27 agosto - 1 settembre 2018
Corsi istituzionali:
Lambda calcolo, teoria dei tipi, Ugo Dal Lago, Università di Bologna.
Teoria dei modelli, Carlo Toffalori, Università di Camerino.
Lezioni magistrali:
Giuseppe Rosolini, Università di Genova.
Gabriele Lolli, Scuola Normale Superiore di Pisa.

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.
Gabriele Usberti, Università di Siena.

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

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

2006

3-9 settembre 2006
Corsi istituzionali:
Teoria degli insiemi, Alessandro Andretta, Università di Torino
Teoria dei Modelli, Alessandro Berarducci, Università di Pisa

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

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

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