Section: Other Grants and Activities
Artist II European IST network of Excellence
Artist II is a European Network of Excellence on embedded system design (http://www.artist-embedded.org/FP6 ). Its goal is to establish Embedded Systems Design as a discipline, combining expertises from electrical engineering, computer science, applied mathematics, and control theory. We collaborate as a core partner within the Real Time Components cluster, led by A. Benveniste ( Inria Rennes) and B. Jonsson (Uppsala University). A. Girault is the administrator of Artist II for Inria .
AOSD European IST network of Excellence
AOSD -Europe is the European network of excellence on Aspect-Oriented Software Development. It lasts 4 years (September 2004-August 2008) and includes nine major academic institutions and two major industrial partners from UK, Germany, The Netherlands, France, Belgium, Ireland, Spain and Israel. We collaborate in the formal methods lab with Obasco - Inria , Technion (Israel), and Twente (The Netherlands).
InterLink is a coordination action funded by the European Commission. It aims at advancing Europe’s knowledge in a number of critical Information and Communication Science and Technologies areas. P. Fradet has participated to the first InterLink workshop on software intensive systems and new computing paradigms, May 2007, Eze.