Difference between revisions of "Kick-off meeting 20-21 November 2014"

From vecolib
Jump to: navigation, search
 
(4 intermediate revisions by the same user not shown)
Line 20: Line 20:
 
''Friday, 21st November 2014 room 4071''
 
''Friday, 21st November 2014 room 4071''
  
* 9:30  Organisation of working groups, tasks and deliverables
+
* 9:30  Organisation of working groups, tasks and deliverables ([http://www.liafa.univ-paris-diderot.fr/~sighirea/projects/vecolib/meetings/2014_11_minutes.txt minutes])
 
* 10:00 Working session on task T1 : Logical tools
 
* 10:00 Working session on task T1 : Logical tools
 
* 11:00 Working session on task T4 : Tools and case studies
 
* 11:00 Working session on task T4 : Tools and case studies

Latest revision as of 16:01, 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 (minutes)
  • 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.