Preliminary agenda of the day : 9.30-9.50 General presentation of the project and obtained results Ahmed Bouajjani (Paris) 9.50-10.20 Abstraction and efficient verification techniques Javier Esparza (Edinburgh) 10.20 - 11 Extended Automata Bernard Boigelot (Liege) 11 - 11.15 Break 11.15-11.45 Parametrized systems Parosh Aziz Abdulla (Uppsala) 11.45-12.15 Common language and integration of tools Yassine Lakhnech (Grenoble) 12.15-12.30 Assessment report, management and coordination Ahmed Bouajjani (Paris) 12.30-14h Break 14-15 Tool presentations and demos Paris, Liege, Grenoble, Edinburgh. 15-16 Reviewers meeting 16-16.30 conclusion and final discussions. 16.30 end of review