ARC Quotient - Séminaire 1, 5-9 mars 2007, Nancy


Compte-rendu

Programme:

Lundi 5 mars: LORIA salle B013

10h30: arrivée du train de Paris à la gare de Nancy

11h00: début du séminaire - description du programme de la semaine

11h15: présentation du papier qui va être présenté à ESOP'07 les 28-30 mars prochains, point de depart de l'ARC: On the implementation of construction functions for non-free concrete data types (Frédéric Blanqui)

12h30: repas

13h30: présentation de l'état actuel de Moca (Pierre Weis)

14h30: présentation de l'ARC et des différents problèmes à résoudre (Frédéric Blanqui)

15h30: création de groupes de réflexion sur chaque problème

17h00: bilan des discussions ensemble

18h00: fin de la journée

20h00: repas en ville

Mardi 6 mars

09h00: présentation de l'état actuel de Tom et Gom (Antoine Reilles ou Pierre-Etienne Moreau)

10h00: présentation de l'état actuel de Zénon (Damien Doligez ou Richard Bonichon)

11h00: reprise des groupes de réflexion

12h00: bilan des discussions ensemble

13h00: repas

14h00: exposé à déterminer - séminaire Protheo

15h15: fin de la journée pour ceux qui doivent rentrer à Paris (départ du train à 15h50)

15h30: séance de développement pour ceux qui restent

18h00: fin de la journée

Mercredi 7 mars

08h30: rendez-vous à la gare de Nancy

08h45: départ pour le Val d'Ajol

10h15: arrivée au Val d'Ajol - installation des machines

11h00: journée de développement

Jeudi 8 mars

journée de développement

Vendredi 9 mars

09h00: matinée de développement

12h30: rangement du matériel

13h00: repas

14h00: départ du Val d'Ajol

15h30: arrivée à Nancy

15h50: train pour Paris


statcounter Valid XHTML 1.1 Last updated on 11 March 2009. Come back to main page.