News
April 17,18 ANR Rencontres du Numerique 2013
Second project review on September 21st 2012 (reports, slides)
Etienne Lozes's habilitation defence
Cezara Dragoi's thesis defence
The VERIDYC project is prolonged until 31 March 2013
Consortium agreement finalized August 2011
VVS Workshop 30 June 2011 at VERIMAG
Jules Villard’s thesis defence
The Numerical Transition Systems Competition is coming up!