ARC Quotient - Séminaire 3, 4 mai 2007, LIP6, Paris


Lieu: LIP6, 104 avenue du Président Kennedy, 75016 Paris [carte]

Inscription: contacter Thérèse Hardin

Programme:

9h00: Bilan du séminaire 2

10h00: Le filtrage de ML, Luc Maranget (INRIA)

10h30: Warnings for pattern-matching, Luc Maranget (INRIA)

11h00: AC is P, Jean-Pierre Jouannaud (LIX)

12h00: Why you ought to use Formal Methods ?, Eric Jaeger (SGDN)

12h30: Repas

14h00: Normalized completion: 14 years later, Claude Marché (INRIA)

14h30: Algebraic models of pointer programs, Claude Marché (INRIA)

15h00: Pause

15h30: Discussion sur l'intégration de Moca dans Focal

17h00: Fin de la journée


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