Open invitation - Registration Required - See here for late Registration.


09:00    Registration

09:30    Welcome Address
Andrew Blake, Managing Director, Microsoft Research Cambridge
Michel Cosnard, CEO, INRIA

09:45    Mathematical Components (slides)
Assia Mahboubi, INRIA

10:10    Secure Distributed Computations and their Proofs (slides)
Cédric Fournet, Microsoft Research Cambridge

10:35    Break

11:00    TLA+ (slides)
Damien Doligez, INRIA

11:25    Dynamic Dictionary of Mathematical Functions (slides)
Frédéric Chyzak, INRIA

11:50    A-Brain (slides)
Gabriel Antoniu, INRIA
Bertrand Thirion, INRIA

12:15    Lunch and Demos

14:00    ReActivity
Jean-Daniel Fekete, INRIA,

14:25    Adaptive Combinatorial Search for e-Sciences (slides)
Youssef Hamadi, Microsoft Research Cambridge
Marc Schoenauer, INRIA

14:50    Scientific Image and Video Data Mining (slides)
Jean Ponce, Ecole Normale Supérieure

15:15    Break and Demos

16:00    Panel on Formal Methods
Christine Paulin (Paris-Sud), Cédric Fournet (Microsoft
Research Cambridge), Tony Hoare (Microsoft Research Cambridge),
Peter Paule (J.Kepler University, Linz), David Pointcheval (Ecole
Normale Supérieure), Mark Ryan (University of Birmingham),
Wolfram Schulte (Microsoft Research Redmond); Jean-Jacques Lévy
(INRIA, Director of the Microsoft Research-INRIA Joint Centre).

17:00    Demos and Cocktails

More Information and registration :

+33 1 69 35 69 70