- Penser, modéliser et maîtriser le calcul informatique (Chaire Informatique et sciences numériques) Présentation
- 25 novembre 2009 10:00 11:00 Cours Calculabilité: machines, langages et fonctions 1/2 Gérard Berry
- 25 novembre 2009 11:00 12:00 Cours Calculabilité: machines, langages et fonctions 2/2 Gérard Berry
- 02 décembre 2009 10:00 Cours Le lambda-calcul : réductions, causalité et déterminisme Gérard Berry
- 02 décembre 2009 11:00 Séminaire Lambda-calcul, logique et linguistique Gérard Huet
- 09 décembre 2009 10:00 Cours Sémantiques, information et points fixes Gérard Berry
- 09 décembre 2009 11:00 Séminaire Du lambda-calcul à la programmation Jean-Jacques Lévy
- 16 décembre 2009 10:00 Cours Automates et systèmes de transition Gérard Berry
- 16 décembre 2009 11:00 Séminaire Promenade au pays des automates - le coloriage des routes Dominique Perrin
- 06 janvier 2010 10:00 Cours Le parallélisme asynchrone Gérard Berry
- 06 janvier 2010 11:00 12:00 Séminaire Parallélisme et distribution : des calculs aux langages Cédric Fournet
- 06 janvier 2010 12:00 13:00 Séminaire Le monde distribué : des problèmes aux algorithmes Michel Raynal
- 13 janvier 2010 10:00 Cours Parallélisme synchrone et vibratoire Gérard Berry
- 13 janvier 2010 11:00 12:00 Séminaire Parallélisme à flot de données : le langage synchrone Lustre Nicolas Halbwachs
- 13 janvier 2010 12:00 13:00 Séminaire Circuits et nombres 2-adiques Jean Vuillemin
- 20 janvier 2010 10:15 10:50 Séminaire La programmation diffuse Manuel Serrano
- 20 janvier 2010 10:50 11:25 Séminaire Navigation personnalisée - Internet, P2P et réseaux sociaux Anne-Marie Kermarrec
- 20 janvier 2010 11:25 12:00 Séminaire Comment utiliser les réseaux Bayésien pour comprendre les calculs dans les circuits sensoriels Sophie Denève
- 27 janvier 2010 10:00 11:00 Cours La nécessaire mais délicate coopération de modèles Gérard Berry
- 27 janvier 2010 11:00 Séminaire Multiplicité des formes de calcul neuronal et compositionnalité dans la dynamique corticale Yves Frégnac
- 27 janvier 2010 11:00 12:00 Cours Conclusion Gérard Berry