leçon inaugurale
Penser, modéliser et maîtriser le calcul informatique
Novembre 2009
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
Les mercredis, à 10 heures
25 novembre 2009, de 10h00 à 12h00 Calculabilité: machines, langages et fonctions
2 décembre 2009, de 10h00 à 11h00 Le lambda-calcul : réductions, causalité et déterminisme
9 décembre 2009, de 10h00 à 11h00 Sémantiques, information et points fixes
16 décembre 2009, de 10h00 à 11h00 Automates et systèmes de transition
6 janvier 2010, de 10h00 à 11h00 Le parallélisme asynchrone
13 janvier 2010, de 10h00 à 11h00 Parallélisme synchrone et vibratoire
20 janvier 2010, de 10h00 à 10h15 Les nouvelles frontières du calcul
27 janvier 2010, de 10h00 à 10h45 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, de 11h00 à 12h00 Gérard Huet, Lambda-calcul, logique et linguistique
9 décembre 2009, de 11h00 à 12h00 Jean-Jacques Lévy, Du lambda-calcul à la programmation
16 décembre 2009, de 11h00 à 12h00 Dominique Perrin, Promenade au pays des automates : le coloriage des routes
6 janvier 2010
11h00 - 11h30 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
11h00 - 11h30 Nicolas Halbwachs, Parallélisme à flot de données : le langage synchrone Lustre
11h30 - 12h00 Jean Vuillemin, Circuits et nombres 2-adiques
20 janvier 2010
10h15 à 10h50 Manuel Serrano, La programmation diffuse
10h50 - 11h25 Anne-Marie Kermarrec, Navigation personnalisée : Internet, P2P et réseaux sociaux
11h25 - 12h00 Sophie Denève, Comment utiliser les réseaux Bayésien pour comprendre les calculs dans les circuits sensoriels
27 janvier 2010
10h45 - 11h30 Yves Frégnac, Multiplicité des formes de calcul neuronal et compositionnalité dans la dynamique corticale
11h30-12h00 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. 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
programme des cours et séminaires
Pour télécharger les supports de cours au format PPS, avec les animations complètes (non disponibles en pdf)
Cours 2007-2008
Chaire d'Innovation technologique Liliane Bettencourt
Pourquoi et comment le monde devient numérique
Gérard Berry était l'invité d'Ali Baddou dans l'émission Radio libre sur France culture samedi 21 novembre.
|
English