Meetings

Latest revision as of 16:32, 26 September 2014

Date	Place	Details
September 24-25, 2012 (kickoff)	Cnam (Paris)	Programme and slides (private access)
June 24, 2013	Cnam (Paris)	Programme and slides (private access)
September 25, 2014	Inria (Paris)	Programme and slides (private access)

@@ Line 1: / Line 1: @@
+{| class="wikitable" cellpadding="50"
-= Kick-off meeting, September 24-25, 2012 =
+|-
+! Date !! Place !! Details
-* Lundi 24
+|-
-** 10h : Tour de table + ordre du jour, 30mn
+| September 24-25, 2012 (kickoff) || Cnam (Paris) || [[Kickoff Meeting|Programme and slides]] (private access)
-** 10h30 : Discussion accord de consortium, 1h
+|-
-** 11h30 : Plate-forme Why3 (J.-C. Filliâtre, A. Paskevich), 1h
+| June 24, 2013 || Cnam (Paris) || [[Meeting of June 24, 2013|Programme and slides]] (private access)
-** 12h30 : Déjeuner
+|-
-** 13h30 : Zenon + extensions (D. Doligez, D. Delahaye), 1h
+| September 25, 2014 || Inria (Paris) || [[Meeting of September 25, 2014|Programme and slides]] (private access)
-** 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