Buongiorno, tra le cose da decidere nel consiglio di oggi, c'e' una proposta di Alessandro Berarducci di riconoscimento di crediti per la partecipazione ad una Scuola di logica.
La richiesta verra' brevemente esposta in consiglio, ma intanto eccola per sommi capi:
GA
-----------------------------------------------------------------------------------------
Al presidente del CCL in matematica, prof. Giovanni Alberti.
Dal 3 al 9 Settembre 2006 si terra' a Palazzo Feltrinelli, Gargnano, una SCUOLA ESTIVA DI LOGICA diretta dal prof. Silvio Ghilardi sotto gli auspici della ASSOCIAZIONE ITALIANA DI LOGICA E SUE APPLICAZIONI (AILA), della SOCIETA' ITALIANA DI LOGICA E FILOSOFIA DELLA SCIENZA (SILFS), e con il sostegno del Magnifico Rettore dell'Università degli Studi di Milano e dei Dipartimenti di Scienze dell'Informazione, Filosofia, Matematica della stessa Universita'. Il programma di prevede: Corsi istituzionali, 4-9 settembre, ore 9-13 * Teoria degli insiemi, Alessandro Andretta, Università di Torino * Teoria dei modelli, Alessandro Berarducci, Università di Pisa Lezioni magistrali * Martedì 5 settembre: Procedure di decisione per la verificaautomatica, Alessandro Armando, Università di Genova * Andrej Bauer, Università di Lubiana, titolo da definire Ulteriori informazioni si trovano sul sito http://www.unicam.it/matinf/aila/scuola.htm e sull'avviso affisso nella nostra bacheca del dottorato. Con la presente propongo al consiglio l'assegnazione di 3 crediti per i partecipanti che abbiano sostenuto una prova di verifica (colloquio e eventuali esercizi) nei corsi istituzionali ottenendo in entrambi la valutazione ''Superato''.
Alessandro Berarducci