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:
  1. 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.
  2. 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".
  3. 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

  1. La semantica di Kripke-Joyal.
  2. Limiti finiti.
  3. Immagini dirette e inverse.
  4. Il calcolo delle relazioni.
  5. Categorie regolari.
  6. Il teorema fondamentale.
  7. Cenni di algebra 2-dimensionale.
    Saranno disponibili dispense del corso.

Direzione della Scuola: Silvio Ghilardi
Organizzazione: Anna Bucalo, Miriam Franchella, Silvio Ghilardi, Giuseppe Rosolini.