Meetings
From vecolib
- Grenoble meeting 18 July 2017, VERIMAG
- Paris meeting 13 September 2017, AdaCore
- Grenoble meeting 25 May 2016, VERIMAG
- Paris meeting 2 December 2015, Liafa
- Paris meeting 3 June 2015, AdaCore
- Grenoble meeting 27 February 2015, VERIMAG
- Kick-off meeting 20-21 November 2014, Liafa