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