Partager Facebook X (ex-Twitter) Linkedin Copier le lien Agenda 11 é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 (11) 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) Séminaire 02 déc 2009 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 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 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 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 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 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
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
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
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
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
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
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