Previous | 
Home
Section: Partnerships and Cooperations
European Initiatives
IAP MoVES
Participant : Stéphane Ducasse [correspondant] .
The Belgium IAP (Interuniversity Attraction Poles) MoVES (Fundamental Issues in Software Engineering: Modeling, Verification and Evolution of Software) is a project whose partners are the Belgium universities (VUB, KUL, UA, UCB, ULB, FUNDP, ULg, UMH) and three European institutes (Inria, IC and TUD) respectively from France, Great Britain and Netherlands. This consortium combines the leading Belgian research teams and their neighbors in software engineering, with recognized scientific excellence in MDE, software evolution, formal modeling and verification, and AOSD. The project focusses on the development, integration and extension of state-of-the-art languages, formalisms and techniques for modeling and verifying dependable software systems and supporting the evolution of Software-intensive systems. The project has started in January 2007 and is scheduled for a 60-months period. Read more at http://moves.vub.ac.be .
ERCIM Software Evolution
We are involved in the ERCIM Software Evolution working group since its inception. We participated at his creation when we were at the University of Bern.
MEALS FP7 Marie Curie Research Staff Exchange Scheme
MEALS (Mobility between Europe and Argentina applying Logics to Systems) is a mobility project financed by the 7th Framework programme under Marie Curie's International Research Staff Exchange Scheme. It involves seven academic institutions from Europe and four from Argentina, and a total of about 80 researchers to be exchanged. The project started on the 1st of October, 2011, and it has a duration of 4 years. Nr: FP7-PEOPEL-2011-IRSES
Visits in the context of MEALS