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.


Palazzo Feltrinelli

Programma

Corsi istituzionali, 20 - 25 agosto 2012, 9:00 - 13:00

  • 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 Moriconi, Università di Pisa

Le lezioni della Scuola si terranno presso Palazzo Feltrinelli, Via Castello 3, Gargnano (BS) e avranno inizio alle ore 9.00 del giorno lunedì 20 agosto.


Come partecipare

Per presentare domanda di partecipazione inviare via email in allegato il modulo entro il 15 maggio 2012.

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@dsi.unimi.it

L'elenco degli ammessi verrà pubblicato su questo sito, nella sezione "Partecipanti", entro il 10 giugno; ciascuno degli ammessi verrà quindi 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.

L'Organizzazione offrirà, inoltre, il rimborso delle spese di iscrizione e soggiorno presso la foresteria ad un gruppo di partecipanti, scelto sulla base del curriculum.

Quote di partecipazione


Le quote seguenti sono indicative e potranno subire una lieve variazione dovuta all'adeguamento ISTAT nel mese di maggio

  • Iscrizione e soggiorno (cena, pernottamento e colazione) presso la foresteria, dal 19 al 25 agosto: € 270 (6 notti)
  • Iscrizione e cena presso la foresteria, dal 19 al 24 agosto: € 125

I versamenti dovranno essere effettuati, entro i termini che verranno indicati, mediante bonifico bancario al conto corrente intestato a 

AILA, Associazione Italiana di Logica e sue Applicazioni
 cc. n.  8895
 Banca delle Marche, Filiale 013 Camerino
 ABI  06055 - CAB  68830 - CIN T

 Coordinate internazionali:
  IBAN: IT72T0605568830000000008895
  SWIFT: BAMAIT3A013
indicando la causale "Scuola Estiva 2012".

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

All'arrivo

Domenica 19 agosto 2012, 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

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

Partecipanti

L'elenco degli ammessi verrà pubblicato in questa pagina.