09 déc 2009 11:00 à 12:00 Séminaire Du lambda-calcul à la programmation Jean-Jacques Lévy Penser, modéliser et maîtriser le calcul informatique 09 déc 2009 11:00 à 12:00 Partager Facebook X (ex-Twitter) Linkedin Copier le lien Flux RSS Audiovisuel
Mercredi 9 décembre 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 URL de la vidéo Documents et médias Télécharger le support pdf (5.16 Mo) Intervenant(s) Jean-Jacques Lévy 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 Événements Événement Précédent dans le cycle 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 Événement Suivant dans le cycle 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
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
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