15 Settembre, 2002
ITALIAN CONFERENCE ON THEORETICAL COMPUTER SCIENCE (ICTCS)
28 - 30 settembre 2009: undicesima edizione presso il Politecnico di Milano – Sede di Cremona

ITALIAN CONFERENCE ON THEORETICAL COMPUTER SCIENCE (ICTCS)
28 - 30 settembre 2009: undicesima edizione presso il Politecnico di Milano – Sede di Cremona
L’Italian Conference On Theoretical Computer Science 2009 è un’occasione di scambio di idee, di confronto e di crescita professionale che vede riuniti giovani ricercatori ed esperti del settore.
ICTCS ‘09 è la conferenza, ad oggi biennale, del capitolo italiano dell’European Association of Theoretical Computer Science (EATCS); le ultime sono state a Roma nel 2007, a Bertinoro nel 2005 ed a Torino nel 2003.
L’organizzazione è stata a cura di: Alessandra Cherubini (Politecnico di Milano), Mario Coppo (Università di Torino), Giuseppe Persiano (Università di Salerno).
Gli argomenti trattati sono: algoritmi, teoria dei giochi algoritmici, teoria degli automi, teoria della complessità, concorrenza, crittografia, metodi formali, linguaggi, logica, quantum computing, sicurezza, semantica, tipi, includendo computizione molecolare e con membrana, paradigmi computazionali ispirati dalla natura e bioprocessi algoritmici.
Hanno partecipato all’iniziativa 50 persone tra cui parecchi giovani promettenti ricercatori e rinomati esperti del settore.
Sono stati premiati dal Capitolo Italiano due dottorandi che hanno scritto le migliori tesi di informatica teorica negli ultimi due anni. Membro della commissione che ha valutato i lavori è stato il Prof. Pierluigi San Pietro, docente di Ingegneria del Software al Politecnico di Milano – Sede di Cremona.
Un evento correlato, svoltosi nella giornata di ieri, è stato l’Unconventional Models of Computation in onore dei 60 anni di Giancarlo Mauri che è stato presidente del Capitolo Italiano dal 1998 al 2003 ed è segretario dell’European Molecular Computing Consortium (EMCC) dal 1999.
Per maggiori informazioni è possibile consultare il sito http://www.cremona.polimi.it/ictcs09/ .