Meetings
From BWare
(Difference between revisions)
(→Kick-off meeting, September 24-25, 2012) |
(→Kick-off meeting, September 24-25, 2012) |
||
Line 1: | Line 1: | ||
+ | |||
+ | {| class="wikitable" cellpadding="50" | ||
+ | |- | ||
+ | ! Date !! Place !! Details | ||
+ | |- | ||
+ | | September 24-25, 2012 (kickoff) || Cnam (Paris) || [[Kickoff Meeting|Programme and slides]] | ||
+ | |} | ||
= Kick-off meeting, September 24-25, 2012 = | = Kick-off meeting, September 24-25, 2012 = |
Revision as of 06:40, 16 October 2012
Date | Place | Details |
---|---|---|
September 24-25, 2012 (kickoff) | Cnam (Paris) | Programme and slides |
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
- additional resource:Why3 stdlib theory for sets, and preliminary version of B set theory in Why3
- 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