8 et 9 novembre 2012 / November 8 and 9, 2012
JEUDI 8 NOVEMBRE 2012
14h00 - 18h00
* séminaire scientifique en anglais
14h00 - 14h20
Ouverture : B. Braunschweig, J. M. Jézéquel, T. Priol
Introduction
■ DE L'ARCHITECTURE AUX SYSTÈMES
14h20 - 14h40
André Seznec
"Devons nous défier la loi d'Amdahl ?"
■ SIMULATION ET TRAITEMENT DU SIGNAL
14h40 - 15h00
Marie Doumic-Jauffret
"Simulation de la polymérisation de protéines pour
les maladies amyloides (Prion, Alhzheimer)"
15h00 - 15h20
Remi Gribonval
"Parcimonie en traitement du signal"
15h20 - 15h40
Erwan Faou
"Approximation numérique de phénomènes physiques"
15h40 - 16h10
Pause
■ VÉRIFIER ET PROUVER
16h10 - 16h30
Xavier Rival
"Vérifier automatiquement la sûreté des logiciels critiques"
16h30 - 16h50
Karthikeyan Bhargavan
"Prouver les applications du Web"
■ MATHÉMATIQUES POUR LA CRYPTO
ET LES NANO-TECHNOLOGIES
16h50 - 17h10
Andreas Enge
"L'informatique au service de la théorie des nombres et de la cryptologie"
17h10 - 17h30
Stéphane Redon
"Théorie et algorithmes pour la dynamique adaptative de particules"
23/11/2012
VENDREDI 9 NOVEMBRE 2012
9h00 - 13h00
* séminaire scientifique en anglais
9h00 - 9h30
Albert Benvéniste
"Le travail coopératif tel que je le souhaite à nos jeunes" *
* en français
■ LA MÉDECINE DU FUTUR
9h30 - 9h50
Nicholas Ayache
"Imagerie Médicale et Informatique : le patient numérique personnalisé"
■ COMPRENDRE LE CERVEAU
09h50 - 10h10
Olivier Faugeras
"Modéliser la perception visuelle"
■ DONNÉES ET INTERNET
10h10 - 10h30
Serge Abiteboul
"Quelle cuisine pour les données du Web ?"
10h30 - 11h00
Pause
■ IMAGES: DU TRAITEMENT AU RENDU
11h00 - 11h20
Jean Ponce
"De la photo à la vidéo"
11h20 - 11h40
Bruno Levy
"Géometrie numérique : mesurer les mondes réels et virtuels"
■ LA PAROLE AUX COLLÈGUES
11h40 - 12h00
Jean-Louis Giavitto
"Multiset non standard"
12h20 - 12h40
Daniel Le Métayer
"La réaction chimique, métaphore opérante"
Conclusion
12h40 - 12h50
Michel Cosnard
VENDREDI 9 NOVEMBRE 2012
13h00 - 15h30
* événement festif en français
14h00 - 15h00
"Historique et anecdotes sur la carrière
de Jean-Pierre Banâtre"
Animé par Jean-Pierre Verjus
•70-80 : études, Laurent Trilling
•80-90 : le collègue, Michel Raynal
•90-00 : le Directeur de l'UR de Rennes, Laurent Kott
•00-02 : le Directeur de l'UR de Rocquencourt, Michel Sorine
•02-12 : les affaires européennes, Michel Loyer
15h00 - 15h15
La parole est à Jean-Pierre
15h15
Verre de l'amitié
