La scuola di logica (giunta alla sua XI edizione) si è tenuta presso
Palazzo Feltrinelli (Gargnano del Garda - BS) da lunedì 1 settembre a
sabato 6 settembre 2008.
La scuola ha previsto due corsi istituzionali (per complessive 24 ore
più esercitazioni):
(1) Algebra Universale e Teoria dei Modelli (prof. Ursini);
(2) Teoria della dimostrazione (prof. Cantini).
In aggiunta ai corsi, ci sono state tre conferenze (di circa un'ora
ciascuna):
(i) 'Logic at work' (prof. Sebastiani), lunedì 1 settembre;
(ii) 'Al di là del vero e del falso' (prof. Mundici), venerdì 5
settembre;
(ii) 'Glivenko theorem for substructural logics' (prof. Cignoli),
venerdì 5 settembre.
Riassumo qui alcuni dati statistici:
- numero delle domande presentate: 51 (delle quali 8 oltre la scadenza
dei termini)
- partecipanti: 41
- rimborsi erogati con fondi della Scuola: 18
- premi AILA: 3 (1 dei 4 premiati ha rinunciato)
- partecipanti alloggiati in foresteria a Palazzo Feltrinelli/Casa Bartolini
: 38.
Tutti i partecipanti, nonchè docenti e organizzatori presenti, hanno usufruito delle strutture di Palazzo Feltrinelli per le cene e i coffee-break.
I seguenti dati statistici si riferiscono ai soli partecipanti:
- titoli di studio (al momento della domanda):
1) non laureati (studenti triennale) 10
2) studenti laurea magistrale 17
3) dottorandi (o equivalente) 14
- corsi di laurea:
1) Filosofia 22
2) Matematica 11
3) Informatica 4
4) Matematica e Informatica 3
5)
Fisica 1
[La laurea in 'Matematica e Informatica' concerne la
II università di Napoli].
In conclusione, nell'esprimere un giudizio ampiamente positivo sullo svolgimento dell'edizione 2008 della scuola, voglio ringraziare tutte le persone che mi hanno aiutato in modo prezioso e proficuo nel non indifferente lavoro di organizzazione.
Silvio Ghilardi (direttore della scuola)