8 et 9 novembre 2012 / November 8 and 9, 2012
THURSDAY NOVEMBER 8th, 2012
2:00 p.m. to 6:00 p.m.
* scientific workshop in English
2:00 p.m. to 2:20 p.m.
Opening: B. Braunschweig, J. M. Jézéquel, T. Priol
Introduction
■ FROM HARDWARE TO SYSTEMS
2:20 p.m. to 2:40 p.m.
André Seznec
"Should we defy Amdahl's Law?"
■ SIMULATION AND SIGNAL PROCESSING
2:40 p.m. to 3:00 p.m.
Marie Doumic-Jauffret
"Protein polymerization simulation in Amyloid Diseases (Prion, Alzheimer's)"
3:00 p.m. to 3:20 p.m.
Remi Gribonval
"Sparse Signal Processing"
3:20 p.m. to 3:40 p.m.
Erwan Faou
"Numerical approximation of physical phenomena"
3:40 p.m. to 4:10 p.m.
Pause
■ VERIFY AND PROVE
4:10 p.m. to 4:30 p.m.
Xavier Rival
"Automatic verification of the safety of critical softwares"
4:30 p.m. to 4:50 p.m.
Karthikeyan Bhargavan
"Proving web applications"
■ MATHEMATICS FOR CRYPTO AND NANO-TECHNOLOGIES
4:50 p.m. to 5:10 p.m.
Andreas Enge
"Computer science for number theory and cryptology"
5:10 p.m. to 5:30 p.m.
Stéphane Redon
"Theory and algorithms for adaptive particle simulation"
FRIDAY NOVEMBER 9th, 2012
9:00 a.m. to 1:00 p.m.
* scientific workshop in English
9:00 a.m. to 9:30 a.m.
Albert Benvéniste
"Cooperative research as I foresee it for our young researchers" *
* in French
■ THE FUTURE OF MEDICINE
9:30 a.m. to 9:50 a.m.
Nicholas Ayache
"Medical images and Informatics : the personalized numerical patient"
■ UNDERSTANDING THE BRAIN
9:50 a.m. to 10:10 a.m.
Olivier Faugeras
"Modeling the visual perception"
■ DATA AND THE INTERNET
10:10 a.m. to 10:30 a.m.
Serge Abiteboul
"What recipes for the data from the Web ?"
10:30 a.m. to 11:00 a.m.
Pause
■ IMAGES : FROM PROCESSING TO RENDERING
11:00 a.m. to 11:20 a.m.
Jean Ponce
"From pictures to videos"
11:20 a.m. to 11:40 a.m.
Bruno Levy
"Numerical geometry : measuring the real and the virtual worlds"
■ SPEECH FROM COLLEAGUES
11:40 a.m. to 12:00 a.m.
Jean-Louis Giavitto
"Non Standard Multiset"
12:20 a.m. to 12:40 a.m.
Daniel Le Métayer
"The chemical reaction, an operative metaphor"
Conclusion
12:40 a.m. to 12:50 a.m.
Michel Cosnard
FRIDAY NOVEMBER 9th, 2012
1:00 p.m. to 3:30 p.m.
* festive event in French
2:00 p.m. to 3:00 p.m.
"History and anecdotes about Jean-Pierre Banâtre's career"
Animated by Jean-Pierre Verjus
•70-80: studies, Laurent Trilling
•80-90: the colleague, Michel Raynal
•90-00: the Director of Inria Rennes, Laurent Kott
•00-02: the Director of Inria Rocquencourt, Michel Sorine
•02-12: the European Affairs, Michel Loyer
3:00 p.m. to 3:15 p.m.
Speech from Jean-Pierre
3:15 p.m.
Let's have a drink !
