- EATCS-IT - Italian Chapter of European Association for Theoretical Computer Science
- EEF - European Educational Forum
- International Federation for Information Processing - IFIP TC1-WG1.7
![[LOGO_EATCS]](eatcslogo.gif)
|
![[LOGOEEF]](EEFlogo.gif)
|
![[LOGO_IFIP]](logo.gif){kind=logo}
|
Sponsors:
- Università di Bologna
- Università Ca' Foscari di Venezia
- Progetto MURST ``Metodi Formali per la Sicurezza e il Tempo'' (MEFISTO)
- MyThS: Models and Types for Security in Mobile Distributed Systems
- ONR - Office Of Naval Research
|
|
|
|
|