- Laboratoire d’informatique
  • Colloquium

Colloquium d’Informatique de Sorbonne Université

Gérard Berry, Collège de France

Mercredi 24 octobre 2012 18 h
Amphi Durand, Esclangon Building, Sorbonne Université - Faculté des Sciences

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

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.

Informations en ligne

https://sorbonne-universite.cloud.panopto.eu/Panopto/Pages/Embed.aspx?id=997da427-f74b-4e10-9afe-aec801447f8b
Gérard Berry

À propos

Initié en 2012, le Colloquium d’Informatique de Sorbonne Université est un évènement régulier ayant pour but d'inviter des personnalités majeures du domaine de l’informatique à donner une conférence sur le campus de la faculté des sciences et ingénierie de Sorbonne Université. Il vise un public large, divers mais techniquement averti, et notamment les chercheurs en informatique de toutes spécialités, les doctorants et les étudiants en informatique de niveau Master.

L’évènement principal du Colloquium est l’exposé de l’orateur, d’environ 45 minutes, suivi d’une séance de questions et d’interactions avec l’auditoire. Il est généralement associé à l’organisation d’une masterclass à destination des doctorants du LIP6 et/ou d’autres laboratoires.

Principal participant au comité d’organisation, le LIP6 assure l’organisation du Colloquium et reçoit occasionnellement le soutien de l’ISIR.

Comité de Pilotage


Contact: Gaël Thomas

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