Colloquium d'informatique

2012-2013 - Campus Jussieu

Séminaire de prestige en recherche informatique. Invitation de grands noms du domaine, visant un public large.

Le temps et les événements en informatique


Envie de télécharger cette vidéo sur votre ordinateur ? Cliquez ici (poids : 881.6 Mo)

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.

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 l'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".


Orateur(s) : Gérard Berry, Professeur au Collège de France, chaire Algorithmes, machines et langages
Public : Tous
Date : 24 octobre 2012
Lieu : Amphithéâtre Durand, Campus Jussieu