Open invitation - Registration Required - Please register before January 21st.


09:30    Registration

10:00    Welcome Address
Michel Cosnard, CEO, INRIA
Andrew Herbert, Managing Director, Microsoft Research Cambridge

10:45    Mathematical Components
Georges Gonthier, Microsoft Research Cambridge

11:15    Break

11:30    Secure Distributed Computations and their Proofs
Cédric Fournet, Microsoft Research Cambridge

12:00    TLA+
Damien Doligez, INRIA

12:30    Lunch

14:00    Dynamic Dictionary of Mathematical Functions
Bruno Salvy, INRIA

14:30    ReActivity
Jean-Daniel Fekete, INRIA - Wendy Mackay, INRIA

15:00    Break

15:15    Adaptative Combinatorial Search for e-Sciences
Youssef Hamadi, Microsoft Research Cambridge
Marc Schoenauer, INRIA

15:45    Scientific Image and Video Data Mining
Jean Ponce, Ecole Normale Supérieure

16:15    Conclusion
Jean-Jacques Lévy, Director, Microsoft Research-INRIA Joint Centre

16:30    Demos and Cocktails

More Information and registration :

+33 1 69 35 69 70