Università di Bologna Dipartimento di Scienze dell'Informazione Mura Anteo Zamboni, 7 40127 Bologna, Italy Tel: (++39)051-209.45.09 Fax: (++39)051-209.45.10

Professional Activities Research interests Projects Papers Short Curriculum Vitae	Special Events Summerschool on Foundations of Security Analysis and Design FOSAD'09 Computational Methods in Systems Biology CMSB'09 20th Int.l Conf. on Concurrency Theory CONCUR'09 Conference on Distributed Computing Technologies Discotec'09 IEEE Computer Security Foundations Symposium CSF'09
Didattica (in Italian only) Programmazione Modelli e Sistemi Concorrenti Programmazione (vecchio ordinamento) Costrutti Linguistici e Tecniche di Verifica per Sistemi Concorrenti	Information on IFIP W.G. FOSAD (IFIP Working Group 1.7 on Foundation of Security Analysis and Design)
Information on EATCS (European Association for Theoretical Computer Science)	Other links Theoretical Computer Science Transactions on Petri Nets and Other Models of Concurrency International Journal of Information Security FOSAD mailing list

Back to Faculty