Difference between revisions of "Kick-off meeting 20-21 November 2014"
From vecolib
Sighireanu (Talk | contribs) (Created page with "'''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 Sighir...") |
Sighireanu (Talk | contribs) |
||
| Line 1: | Line 1: | ||
'''ANR Project Vecolib''' | '''ANR Project Vecolib''' | ||
| − | ''Kickoff Meeting, 20-21 November 2014'' | + | - ''Kickoff Meeting, 20-21 November 2014'' |
Programme | Programme | ||
| Line 24: | Line 24: | ||
* 11:00 Working session on task T4 : Tools and case studies | * 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 | Location and Venue | ||
Revision as of 11:21, 27 March 2015
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.
