Collège de France : Gérard Berry rejoue à Sophia sa leçon inaugurale

Un moment fort de l'année à vivre : la leçon inaugurale du Collège de France de Gérard Berry. Il la rejouera exceptionnellement en "live" à Inria Sophia (et non à la Fondation Sophia Antipolis) jeudi 6 juin de 10h à 12h dans le grand amphi Morgenstern. Directeur de recherche à Inria Sophia, nommé professeur titulaire de la nouvelle Chaire "Algorithmes, machines et langages" du Collège de France, il avait fait cette leçon inaugurale le 28 mars dernier à Paris sur le thème "L'informatique du temps et des événements". C'est une réédition augmentée de sa leçon inaugurale qu'il présentera ainsi dans la technopole. Une réédition qui comblera ses nombreux amis dans la technopole et qui est organisée par Inria en partenariat avec le Collège de France. Entrée libre et gratuite.

Les trois premiers cours et séminaires organisés au Centre Inria Sophia en janvier 2014

L’exposé sera suivi d’une séance de questions et discussion sur le sujet du temps et des événements en informatique, qui occupera les premières années de la chaire. Les vidéos et supports des cours 2012-2013 sont disponibles sur le site du Collège de France. Pour le cycle de cours 2013 / 2014, les trois premiers cours et séminaires auront lieu au centre Inria Sophia Antipolis - Méditerranée en janvier 2014 et concerneront la relation science-industrie dans l’évolution du langage Esterel, de ses implémentations logicielles et matérielles et de ses applications.

Ils seront accompagnés de deux séminaires sur le temps en automatique et en traitement du signal et d’un séminaire sur la simulation à haut niveau des systèmes sur puce. 

Le rôle central du traitement du temps et des événements

Le traitement du temps et des événements en informatique joue un rôle central dans une grande variété de domaines :

• les programmes embarqués dans les objets et en particulier ceux assurant une conduite temps-réel de processus divers (avionique, automobile, etc.) ;
• les circuits électroniques modernes, qui comportent des composants et horloges multiples ;
• la simulation de systèmes physiques multi-composants ;
• la construction d’applications Web sophistiquées fondées sur l’orchestration des nombreuses applications déjà existantes ;
• enfin, la création musicale contemporaine qui associe harmonieusement interprètes humains et sons numériques au moyen de partitions devenues algorithmiques.

Or, le temps et les événements restent les parents pauvres de la programmation classique, qui n’en parle que de façon latérale. Gérard Berry montre qu’il faut considérablement élargir les discours et formalisations habituels pour maîtriser les phénomènes temporels et événementiels. "Nous discuterons des formalismes, des styles et langages de programmation, et des logiques de raisonnement et de vérification formelle adaptés à l’ensemble des applications temporelles précitées. De beaux succès ont déjà été obtenus, mais il reste un travail considérable à effectuer en relation avec d’autres domaines comme l’automatique, la physique et la création artistique", estime le titulaire de la chaire "Algorithmes, machines et langages".