Mercredi 25 novembre 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 11:00 - 12:00 Sauter le player vidéo Youtube 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
