Nov 19, 2017

Home

Partners

People

Private

Meetings

Work Package

Documents

GForge

edit SideBar

Search

Meeting: May 6, 2010

Réunion plénière du 6 mai 2010

Participants

  • Anthony Ferrari, TL
  • Pascal Flament, Norsys
  • Arnaud Fontaine, LIFL
  • Séverine Fratani, LIF
  • Gilles Grimaud, LIFL
  • Samuel Hym, LIFL
  • Pascal Lafourcade, Verimag
  • Isabelle Simplot-Ryl, LIFL
  • Guillaume Wallet, Norsys

Planning

Planning prévisionnel

10h00 - 10h30Accueil
10h30 - 11h00Séverine (WP4): Type system implementation
11h00 - 11h45Pascal (WP5): Comparison of Cryptographic Verification Tools Dealing with
Algebraic Properties
11h45 - 12h30Discussion autour du WP6 (D6)
12h30 - 13h30Repas
13h30 - 14h15Gilles (WP7): Open source analyser
14h15 - 15h00Discussion autour du démonstrateur (WP8, D8.1)
15h00 - 15h15Pause
15h15 - 15h45Discussion autour du retour d'expérience (WP8, D8.2)
15h45 - 16h30Point sur l'organisation jusqu'à T0+36 : D4, D5.2, D6, D7, D8.1, D8.2
16h30Clôture de la journée

Adresse

La réunion a eu lieu à Marseille, Université de Provence, Centre Saint-Charles, 3 place Victor-Hugo.

Page Actions

Recent Changes

Group & Page

Back Links