ASSOCIAZIONE
ITALIANA DI LOGICA E SUE APPLICAZIONI (AILA)
SOCIETA' ITALIANA DI LOGICA E FILOSOFIA DELLA SCIENZA (SILFS)
con il sostegno del
Magnifico Rettore dell'Università degli Studi di Milano
dei
Dipartimenti di Scienze dell'Informazione, Filosofia, Matematica della
stessa Università
e del
Dipartimento di Filosofia dell'Università di Bologna
SCUOLA ESTIVA
DI LOGICA
Palazzo Feltrinelli,
Gargnano, 3-9 settembre 2006
Le modalità di
presentazione delle domande di ammissione sono descritte nel bando.
Iscrizione: dalle
17.30 alle 19.00 del
giorno 3 settembre presso Palazzo Feltrinelli, Via
Castello 3, Gargnano (BS).
I corsi avranno inizio alle ore
9.00 del giorno lunedì 4 settembre.
Corsi istituzionali, 4-9 settembre, ore 9-13
- Teoria
degli insiemi, Alessandro Andretta,
Università di
Torino, dispense
del corso
- Teoria
dei modelli, Alessandro Berarducci,
Università di Pisa
Lezioni
magistrali
- Martedì 5 settembre, h.
14.30:
Procedure di decisione per la
verifica automatica, Alessandro
Armando, Università di
Genova, slides
- Mercoledì 6
settembre, h. 14.30: Synthetic Computability, Andrej
Bauer,
Università di Lubiana, slides
I partecipanti saranno alloggiati, dal 3 al
9 settembre (6 notti), presso le foresterie del Palazzo
Feltrinelli e dell'adiacente Casa F. Bertolini (fino ad esaurimento
della disponibilità). L'assegnazione della stanza
presso
la foresteria sarà effettuata al momento dell'arrivo sulla base
della disponibilità.
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 iscrizione, pernottamento e cena.
I partecipanti di questo gruppo saranno considerati decaduti dalla loro
posizione se non comunicheranno accettazione dell'invito entro il
30
giugno.
- Partecipanti che saranno alloggiati presso la foresteria a
proprie spese. I partecipanti di questo gruppo dovranno versare
all'AILA, dopo il 15 giugno ed entro il 30 giugno, la quota di
240 euro
(corrispondenti alle spese di pernottamento e cena per 6
giorni), secondo le
modalità indicate di seguito.
- Partecipanti che, per eventuale esaurimento della
disponibilità presso la foresteria, dovranno provvedere
personalmente alla prenotazione dell'albergo. I partecipanti di questo
gruppo dovranno versare all'AILA, dopo il 15 giugno ed entro
il
30 giugno, la quota di 108
euro (corrispondenti alle spese
per
6 cene), secondo le modalità
indicate di seguito.
I versamenti dovranno
essere effettuati 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
indicando la
causale "Scuola Estiva 2006".
Saranno
considerati
decaduti dalla loro posizione i partecipanti che entro
il 30 giugno non avranno
inviato, via email, notifica del
versamento, comunicando i dati del bonifico effettuato.
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.
Direzione
della Scuola: Silvio
Ghilardi
Comitato
organizzatore: Anna
Bucalo, Miriam Franchella, Silvio Ghilardi, Giuseppe Rosolini, Carlo
Toffalori