View source for Kick-off meeting 20-21 November 2014

'''ANR Project Vecolib'''
- ''Kickoff Meeting, 20-21 November 2014''

Programme

''Thursday, 20th Nov 2014 in room 3058 (3rd floor)''

* 09:15   Welcome
* 09:30   Mihaela Sighireanu: Project presentation, report on the kickoff meeting organised by ANR

* 10:30  Yannick Moy (AdaCore) : Generation of loop invariants based on patterns for code with collections
* 11:00  Constantin Enea (LIAFA) : Efficient decision procedures for nested and overlapped lists
* 11:30  Boris Yakobowski (CEA) : Value analysis in Frama-C
* 14:00   Mihaela Sighireanu (LIAFA) : Automatic verification and generation of invariants for low level data structures
* 14:30   Sylvain Boulmé (VERIMAG) : Data-refinement: from the B method to object-oriented language
* 15:00   Adam Rogalewicz (Brno) : Decision procedures for Separation Logic with recursive definitions      
* 15:40  Francois Bobot (CEA) : SOPRANO project : New Solver for Program Analysis
* 16:30   Discussions

''Friday, 21st November 2014 room 4071''

* 9:30  Organisation of working groups, tasks and deliverables
* 10:00 Working session on task T1 : Logical tools
* 11:00 Working session on task T4 : Tools and case studies

Participants
* Yannick MOY	(AdaCore)
* Boris YAKOBOWSKI	 (CEA)
* Cristina SERBAN	(VERIMAG)
* Sylvain BOULME	(VERIMAG)
* Ahmed BOUAJJANI	(LIAFA)
* Constantin ENEA	(LIAFA)
* Peter HABERMEHL	(LIAFA)
* Mihaela SIGHIREANU	(LIAFA)
* David Bühler	(CEA)
* Matthieu Lemerre	(CEA)

Invited peoples
* Virginia APONTE	(CNAM)
* Pierre COURTIEU	(CNAM)
* Adam ROGALEWICZ	(FIT, Brno)
* Francois Bobot	(CEA)
* Zhilin WU	(LIAFA)

Location and Venue

* This meeting will take place in the Sophie Germain building of Paris Diderot University.
* The closest metro station is “Bibliothèque François Mitterrand” (line 14) located 4 blocks away on Avenue de France.
* The RER C station “Bibliothèque François Mitterand” (with a good connection to the city center) is also located on the other side of Avenue de France.