ASSOCIAZIONE
ITALIANA DI LOGICA E SUE APPLICAZIONI (AILA)
SOCIETA' ITALIANA DI LOGICA E FILOSOFIA DELLA SCIENZA (SILFS)
con il sostegno di
Rettorato e Dipartimenti di Scienze dell'Informazione, Filosofia,
Matematica
dell'Università degli Studi di Milano
SCUOLA ESTIVA DI LOGICA
Palazzo Feltrinelli,
Gargnano, 30 agosto - 4 settembre
La Scuola avrà inizio alle ore
16.00 del giorno lunedì 30 agosto, presso Palazzo Feltrinelli,
Via Castello 3, Gargnano (BS).
Le richieste di partecipazione alla Scuola che sono state accettate
sono quelle dei signori:
-
Marco Brambilla, Roberto Bruttomesso,
-
Erica Calardo, Gustavo Cevolani, Annalisa Conversano, Cristina Coppola,
-
Fabio Del Prete, Marcello Di Bello, Francesco Di Giacomo, Daniel Donato,
-
Carlo Ferigato, Vincenzo Frustaci,
-
Marco Gaboardi, Pierluigi Graziani,
-
Antonio Lerario,
-
Tiziana Pacelli,
Nicola Pagani,
Alessio Palmero,
Massimo Panzarella,
Sascia Pavan,
Ludovico Pernazza,
Luca Perrino,
Daniele Porello,
Giuseppe Primiero,
-
Lorenzo Sacchetti,
Daniela Scialla,
Davide Sergio,
Nicolò Sibilla,
Paolo Stellari,
-
Giuseppina Terzo,
-
Mario Vacca,
Giorgio Venturi,
Antonio Veredice,
-
Daniele Zucchelli.
Ciascuno dei partecipanti riceverà comunicazione diretta, via posta elettronica, relativa alla sistemazione nella foresteria, all'eventuale assegnazione del rimborso o al versamento da effettuare.
I partecipanti saranno alloggiati, dal 30 agosto al 3 settembre, presso le foresterie del Palazzo Feltrinelli e dell'adiacente Casa F.
Bertolini. I prezzi unitari convenzionati sono i seguenti:
| pernottamento e prima
colazione |
Palazzo Feltrinelli |
19,26 euro |
| Casa Bertolini |
23,65 euro |
| pranzo |
14.62 euro |
| cena |
14.62 euro |
L'Organizzazione della Scuola provvederà a dividere, sulla base del curriculum, i partecipanti in tre gruppi:
- Partecipanti che saranno alloggiati presso la foresteria e che riceveranno un rimborso spese per pernottamento e cena. I partecipanti di questo gruppo saranno considerati decaduti dalla loro posizione se non comunicheranno accettazione dell'invito entro il 15 luglio.
- Partecipanti che saranno alloggiati presso la foresteria a proprie spese. I partecipanti di questo gruppo dovranno versare
all'AILA, dopo il 30 giugno ed entro il 15 luglio, la quota corrispondente a pernottamento e cena (5 giorni); saranno considerati decaduti dalla loro posizione se non daranno comunicazione del pagamento entro il 15 luglio, secondo le modalita' che verranno indicate. Il pagamento dovrà essere effettuato mediante bonifico bancario al conto corrente
intestato a
AILA, Associazione Italiana di
Logica e sue Applicazioni
cc.n. 2793/80
Banca Carige, ag.60 GENOVA
ABI 6175 -CAB 1448
indicando la causale "Scuola Estiva 2004". - Partecipanti che per eventuale esaurimento della disponibilità presso la foresteria dovranno provvedere personalmente alla prenotazione di una camera in un albergo della zona.
Informazioni relative agli orari dei trasporti
pubblici per raggiungere Gargnano sono consultabili al sito della Regione Lombardia.
Ulteriori informazioni sono disponibili al sito del Palazzo Feltrinelli.
Programma dei corsi
- La semantica di Kripke-Joyal.
- Limiti finiti.
- Immagini dirette e inverse.
- Il calcolo delle relazioni.
- Categorie regolari.
- Il teorema fondamentale.
- Cenni di algebra 2-dimensionale.
Saranno disponibili dispense del corso.
Direzione della Scuola: Silvio Ghilardi
Organizzazione: Anna Bucalo, Miriam Franchella, Silvio Ghilardi,
Giuseppe Rosolini.