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 
e dei
Dipartimenti di Scienze dell'Informazione, Filosofia, Matematica della stessa Università

SCUOLA  ESTIVA  DI   LOGICA
Palazzo Feltrinelli, Gargnano, 29 agosto - 4 settembre  2010                              

La Scuola è rivolta principalmente a laureandi, laureati e dottorandi in Filosofia, Fisica, Informatica e Matematica che intendono ampliare e integrare le loro conoscenze di logica

Programma
Le lezioni della Scuola si terranno presso Palazzo Feltrinelli, Via Castello 3, Gargnano (BS).

Domenica 29 agosto 2010, Palazzo Feltrinelli
17.30 - 19.00   registrazione e sistemazione nella Foresteria
19.30             cena presso Palazzo Feltrinelli
I corsi avranno inizio alle ore 9.00 del giorno lunedì 30 agosto

Corsi  istituzionali,  30 agosto - 4 settembre 2010

• 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

Il programma prevede inoltre una tavola rotonda serale sul ruolo della logica nella filosofia oggi. Parteciperanno Giovanna Corsi, Giulio Giorello, Brian McGuinness, Carlo Penco.

Da lunedì 30 agosto a venerdì  3 settembre: cena presso Palazzo Feltrinelli alle 19.30

Iscrizione

Le domande di partecipazione compilate sul modulo disponibile qui, vanno spedite a sel@dsi.unimi.it   e dovranno pervenire  tassativamente entro il 15 maggio 2010. L'elenco degli ammessi verrà pubblicato su questo sito 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

• Iscrizione e soggiorno (cena, pernottamento e colazione) presso la foresteria, dal  29 agosto al 3 settembre (6 notti):  260 euro
• Iscrizione e cena presso la foresteria, dal  29  agosto al 3 settembre:  120 euro

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 2010".  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.


Informazioni relative ai trasporti pubblici per raggiungere Gargnano sono consultabili al sito della Regione Lombardia e al sito del Palazzo Feltrinelli.

Il presente bando è disponibile in formato pdf all'indirizzo  http://homes.dsi.unimi.it/~sel/scuola2010/bando2010.pdf


Sito AILA della Scuola di Logica: http://www.ailalogica.it/attivita/scuola-aila.php

Direzione della Scuola: Silvio Ghilardi
Comitato organizzatore: Anna Bucalo, Miriam Franchella, Silvio Ghilardi, Giuseppe Rosolini, Carlo Toffalori.