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)
  • Linguaggi di Programmazione
  • Modelli e 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