Le temps et les événements en informatique

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

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.

Autres informations

Contact: Gaël Thomas

Comité de Pilotage

• Marc Shapiro
• Gaël Thomas

Informations en ligne

• Transparents

• Enregistrement vidéo

Annonce des Colloquium

Si vous souhaitez être informé des prochains événements, vous pouvez souscrire à la liste de diffusion.
Si vous ne souhaitez plus être informé des événements, vous pouvez vous désinscrire de la liste de diffusion