Open invitation - Registration Required - See here for late Registration.
PROGRAM
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
