Annonce
Exposé "Le temps et les événements en informatique", par Gérard Berry
10 Octobre 2012
Catégorie : Journée d étude
C'est avec plaisir que nous vous convions à assister à l'exposé de Gérard Berry, Professeur au Collège de France, dans le cadre du Colloquium d'informatique UPMC Sorbonne Universités :
Le temps et les événements en informatique
L'exposé aura lieu :
24 octobre 2012 à 18h
Amphithéâtre Durand (bât. Esclangon)
Université Pierre et Marie Curie
4, place Jussieu (métro Jussieu)
75005 Paris
Nouveau : La conférence sera diffusée en direct sur http://video.upmc.fr/direct.php?id=direct_colloquium_lip6, et sera accessible en différé à partir de colloquium.lip6.fr.
C'est avec plaisir que nous vous convions à assister à l'exposé de Gérard Berry, Professeur au Collège de France, dans le cadre du Colloquium d'informatique UPMC Sorbonne Universités :
Le temps et les événements en informatique
Ce colloquium s'adresse à un public large, et est ouvert à tous les chercheurs et étudiants en informatique.
L'exposé aura lieu :
24 octobre 2012 à 18h
Amphithéâtre Durand (bât. Esclangon)
Université Pierre et Marie Curie
4, place Jussieu (métro Jussieu)
75005 Paris
Un cocktail est prévu à 17h30, en prélude à la conférence.
Résumé
Le traitement précis du temps et des événements réguliers ou sporadiques est essentiel en informatique embarquée, en simulation et dans bien d'autres domaines, mais très mal réalisé dans la programmation classique. Nous étudions les différents formalismes de spécification et de programmation spécifiquement développés pour cela, la façon de les implémenter correctement, ainsi que les succès et les problèmes ouverts du domaine.
Biographie
Depuis 1973, Gérard Berry travaille sur la conception de langages de programmation, ainsi que sur la vérification de programmes. Il s'est particulièrement intéressé à la programmation des systèmes réactifs et temps réel, définissant et implémentant le langage Esterel. En 2001, il est devenu Directeur scientifique de la société Esterel Technologies. Il a ensuite rejoint Inria en 2009. Depuis septembre 2009, il tient la chaire "Algorithmes, machines et langages" au Collège de France où il donne actuellement le cours "Le temps et les événements en informatique".