20 jan 2010 10:15 à 10:50 Séminaire La programmation diffuse Manuel Serrano Penser, modéliser et maîtriser le calcul informatique 20 jan 2010 10:15 à 10:50 Partager Facebook LinkedIn Bluesky Threads Copier le lien Flux RSS Audiovisuel
Mercredi 20 janvier 2010 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 10:15 - 10:50 Sauter le player vidéo Youtube Intervenant(s) Manuel Serrano É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 Cours 27 jan 2010 11:00 à 12:00 Gérard Berry Conclusion Séminaire 27 jan 2010 11:00 à 12:00 Yves Frégnac Multiplicité des formes de calcul neuronal et compositionnalité dans la dynamique corticale Suivant 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 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
