Projects

National project CINA: Compositionality, Interaction, Negotiation, Autonomicity (start 01/02/2013, duration: 36 months).

National project Distribution, Interaction, Specification, Composition for Object Systems (DISCO - start 22/03/2010, duration: 24 months).

COST Action IC0701 Formal Verification of Object-Oriented Software (start 11/03/2008, duration: 48 months).

National project Extensible Object Systems for Dynamic and Unpredictable Environments (EOS DUE- start 09/02/2007, duration: 24 months).

National project Extensible Object Systems (EOS - start 30/11/2004, duration: 24 months).

Thematic network IST-2001-38957 APPSEM II (start 01/01/2003, duration: 36 months)

EC project IST-2001-33477 Dynamic Assembly, Reconfiguration and Type-checking (DART - start 01/01/2002, duration: 42 months)

National project Network Aware Programming: Oggetti, Linguaggi, Implementazioni (NAPOLI - start 01/12/2001, duration: 24 months).

Back to previous page


Please send suggestions and comments to:

Davide Ancona davide@disi.unige.it

Last Updated: Feb, 2015