Gérard Berry

Chaire d'Informatique et sciences numériques (2009-2010)

 
 

leçon inaugurale

Penser, modéliser et maîtriser le calcul informatique

 Novembre 2009

video Regarder la vidéo
 
 
 
 
logo-inria-dero...
Créée en partenariat avec l’INRIA, la Chaire Informatique et sciences numériques marque une volonté commune de faire valoir l’importance de cette discipline scientifique et la nécessité de lui octroyer une place pleine et entière.
 
 
 
 

cours

Penser, modéliser et maîtriser le calcul informatique

 
 
 
 
25 novembre 2009
Calculabilité: machines, langages et fonctions
 
 
 
 
2 décembre 2009
Le lambda-calcul : réductions, causalité et déterminisme
 
 
 
 
9 décembre 2009
Sémantiques, information et points fixes
 
 
 
 
16 décembre 2009
Automates et systèmes de transition
 
 
 
 
6 janvier 2010
Le parallélisme asynchrone
 
 
 
 
13 janvier 2010
Parallélisme synchrone et vibratoire
 
 
 
 
20 janvier 2010
Les nouvelles frontières du calcul
 
 
 
 
27 janvier 2010
La nécessaire mais délicate coopération de modèles 
 
 
 
 

séminaire

En relation avec le sujet du cours

Les mercredis à 11 heures

 
 
 
 
2 décembre 2009
Gérard Huet, Lambda-calcul, logique et linguistique
 
 
 
 
9 décembre 2009
Jean-Jacques Lévy, Du lambda-calcul à la programmation
 
 
 
 
16 décembre 2009
Dominique Perrin, Promenade au pays des automates : le coloriage des routes

 
 
 
 
6 janvier 201
Michel Raynal, Le monde distribué : des problèmes aux algorithmes

 
 
 
 
6 janvier 2010
11h30 - 12h00
Cédric Fournet, Parallélisme et distribution : des calculs aux langages

 
 
 
 
13 janvier 2010
Nicolas Halbwachs, Parallélisme à flot de données : le langage synchrone Lustre
 
 
 
 
Jean Vuillemin, Circuits et nombres 2-adiques
 
 
 
 
20 janvier 2010
Manuel Serrano, La programmation diffuse
 
 
 
 
Anne-Marie Kermarrec, Navigation personnalisée : Internet, P2P et réseaux sociaux
 
 
 
 
Sophie Denève, Comment utiliser les réseaux Bayésien pour comprendre les calculs dans les circuits sensoriels
 
 
 
 
27 janvier 2010
Yves Frégnac, Multiplicité des formes de calcul neuronal et compositionnalité dans la dynamique corticale
 
 
 
 
Conclusion et discussions
 
 
 
 

Intervenants des séminaires

• Sophie Denève est chercheuse au CNRS et co-responsable du Groupe de Neurosciences Théoriques du département d’études cognitives de l’Ecole Normale Supérieure.
• Cédric Fournet est chercheur est chercheur au laboratoire Microsoft Research à Cambridge et au laboratoire commun Microsoft—INRIA à Orsay.
• Yves Frégnac est Directeur de recherches CNRS, professeur à l’Ecole Polytechnique et dirige l'Unité de Neurosciences Intégratives et Computationnelles (UNIC) à Gif-sur-Yvette.
• Nicolas Halbwachs est directeur de recherches au CNRS et directeur du laboratoire Verimag à Grenoble.
• Gérard Huet est directeur de recherche au centre INRIA Paris-Rocquencourt et membre de l’Académie des sciences.
• Anne-Marie Kermarrec est directrice de recherches au centre INRIA Rennes.
• Jean-Jacques Lévy est directeur de recherches à l’INRIA et directeur du laboratoire commun Microsoft / INRIA à Orsay.
• Dominique Perrin est directeur général de l’ESIEE Paris.
• Michel Raynal est professeur à l’université de Rennes et chercheur à l’IRISA Rennes.
• Manuel Serrano est directeur de recherches au centre INRIA Sophia Antipolis.
• Jean Vuillemin est professeur à l’Ecole normale supérieure et directeur du laboratoire d’informatique de l’Ecole

 
 
 
 
Gérard Berry

Gérard Berry. Ancien élève de l'École Polytechnique, membre de l'Académie des sciences et de l'Académie des technologies, chercheur à l'École Nationale Supérieure des Mines de Paris et à l'INRIA de 1970 à 2001, puis Directeur scientifique d'Esterel Technologies de 2001 à 2009, il est maintenant chercheur à l’INRIA et président de la Commission d’évaluation de la recherche de cet institut. Sa contribution scientifique concerne la modélisation du calcul, la programmation parallèle et temps réel, et la conception et la vérification formelles de circuits intégrés. Il est le créateur du langage de programmation EstereL

 
 
 
 

Cours à l'étranger

Tunisie
Lundi 11 avril 2011 à 15 heures
Cité des Sciences
Avenue Mohamed Bouazizi
Tunis
Entrée gratuite

Conférence : Les inversions mentales de l'informatique, racines de la révolution numérique

La conférence sera suivie de débats et diffusée par visio-conférence au Palais des Sciences de Monastir et aux facultés des Sciences de Sfax et Gabès
 
 
 
 

Cours 2007-2008

Chaire d'Innovation technologique Liliane Bettencourt
Pourquoi et comment le monde devient numérique

 
 
 
 

Pour télécharger les supports de cours au format PPS, avec les animations complètes (non disponibles en pdf)