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