Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 21 événements Filtres Dates Close Dates Dates Du Au 7 prochains jours 30 prochains jours Professeur, chaire, laboratoire Close Professeur, chaire, laboratoire Professeur, chaire, laboratoire Rechercher un professeur, une chaire ou un laboratoire Gérard Berry (2009 - 2010) Domaines Close Domaines Domaines Mathématiques et sciences informatiques (21) Type d'enseignement Close Type d'enseignement Type d'enseignement Cours (9) Séminaire (11) Leçon inaugurale (1) Filtres actifs Gérard Berry (2009 - 2010) 19 nov 2009 Leçon inaugurale 18:00 - 19:00 Penser, modéliser et maîtriser le calcul informatique Gérard Berry 19 nov 2009 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 nov 2009 18:00 - 19:00 25 nov 2009 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 02 déc 2009 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 09 déc 2009 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 16 déc 2009 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 06 jan 2010 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 13 jan 2010 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 20 jan 2010 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 27 jan 2010 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
Leçon inaugurale 18:00 - 19:00 Penser, modéliser et maîtriser le calcul informatique Gérard Berry 19 nov 2009 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 nov 2009 18:00 - 19:00
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