Meetings

From BWare
Jump to: navigation, search
Line 19: Line 19:
 
** 12h15 PO fournies par Mitsubishi (D. Mentré), 15mn.
 
** 12h15 PO fournies par Mitsubishi (D. Mentré), 15mn.
 
** 12h30 : Déjeuner
 
** 12h30 : Déjeuner
** 13h30 : [[Media:marche-25sep2012.pdf Théorie des ensembles de B en Why3]] (C. Marché) 30mn
+
** 13h30 : [[Media:marche-25sep2012.pdf|Théorie des ensembles de B en Why3]] (C. Marché) 30mn
 
** 14h : PO fournies par ClearSy (T. Lecomte), 30mn ;
 
** 14h : PO fournies par ClearSy (T. Lecomte), 30mn ;
 
** 14h30 : OCamlPro (T. Gazagnaire, F. Le Fessant), 1h
 
** 14h30 : OCamlPro (T. Gazagnaire, F. Le Fessant), 1h
 
** 15h30 : Pause
 
** 15h30 : Pause
 
** 16h : Discussion démarrage des tâches + administration, 1h
 
** 16h : Discussion démarrage des tâches + administration, 1h

Revision as of 11:46, 12 October 2012

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox