Meetings

From BWare
Revision as of 12:57, 12 October 2012 by Bware (Talk | contribs)

Jump to: navigation, search

Kick-off meeting, September 24-25, 2012

  • Lundi 24
    • 10h : Tour de table + ordre du jour, 30mn
    • 10h30 : Discussion accord de consortium, 1h
    • 11h30 : Plate-forme Why3 (J.-C. Filliâtre, A. Paskevich), 1h
    • 12h30 : Déjeuner
    • 13h30 : Zenon + extensions (D. Doligez, D. Delahaye), 1h
    • 14h30 : iProver Modulo (G. Burel), 1h
    • 15h30 : Pause
    • 16h : Atelier B (T. Lecomte), 1h
  • Mardi 25
    • 9h30 : Modalités de suivi ANR (Gaëll Guibert), 30mn
    • 10h : Alt-Ergo (S. Conchon, E. Contejean), 1h
    • 11h Backend Coq (C. Dubois), 30mn ;
    • 11h30 Backend Dedukti (O. Hermant), 30mn ;
    • 12h Frontend Why3 (D. Mentré), 15mn.
    • 12h15 PO fournies par Mitsubishi (D. Mentré), 15mn.
    • 12h30 : Déjeuner
    • 13h30 : Théorie des ensembles de B en Why3 (C. Marché) 30mn
    • 14h : PO fournies par ClearSy (T. Lecomte), 30mn ;
    • 14h30 : OCamlPro (T. Gazagnaire, F. Le Fessant), 1h
    • 15h30 : Pause
    • 16h : Discussion démarrage des tâches + administration, 1h
Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox