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 !

 

Let's imagine the future


Let's imagine the future