CoMeta - Computational Metamodels
	Home	Meetings	Documents and Reports	Publications
	Tasks	Mailing list	Related Projects	Tools

CoMeta Related Projects

• Global Computing projects in the cluster Analysis of Systems and Security: DART, MIKADO, MRG, MYTHS, PROFUNDIS, SECURE.
• Network Aware Programming: Oggetti, Linguaggi, Implementazioni (NAPOLI), an Italian national project involving researchers at the Universities of Bologna, Genova, Firenze, Pisa and Torino.
• Formal Methods for Security (MEFISTO), an Italian national project involving researchers at the Universities of Bologna, Pisa, Salerno, Venezia, Verona.
• Theory of Concurrency, Higher Order Languages and Types (TOSCA), a former Italian national project which involved researchers at the Universities of L'Aquila, Bologna, Catania, Como, Firenze, Genova, Pisa, Roma, Torino, Udine