Sophia : trois cours exceptionnels de Gérard Berry à l'Inria
Le directeur de recherche d'Inria Sophia, nommé en septembre 2012 titulaire de la nouvelle Chaire "Algorithmes, machines et langages", donnera les 15, 22 et 29 janvier dans la technopole ses trois cours du Collège de France sur la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Accès libre.
Gérard Berry de retour à Sophia Antipolis pour trois cours exceptionnels! Le directeur de recherche à Inria Sophia, devenu en septembre 2012 professeur titulaire de la nouvelle Chaire "Algorithmes, machines et langages" du Collège de France, donnera exceptionnellement à l'Inria Sophia, les 15, 22 et 29 janvier, ses trois cours du Collège de France. Ils seront donnés de 16 à 17 heures chaque fois dans le cadre du Colloquium Jacques Morgenstern et seront suivis d'un séminaire de 17 à 18 heures. Accès libre et gratuit, conférence en français.
Les trois cours donnés à Sophia Antipolis seront consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le premier présentera le point de vue de la recherche publique et le deuxième celui des industriels fournisseurs et clients, le troisième étant consacré à des problèmes scientifiques difficiles posés par l'industrie.
Voici le programme de ces trois cours exceptionnels de Gérard Berry, titulaire de la chaire d’Algorithmes machines et langages, cours donnés au centre Inria Sophia Antipolis – Méditerranée, Amphithéâtre Morgenstern - Bât. Kahn) :
Cours 1, 15 janvier, 16h-17h sur le thème "Esterel et SCADE, de la recherche à l'industrie : la vision labo".
Séminaire, 17h-18h avec Juliette Leblond, Inria Sophia-Antipolis. Le traitement du temps en automatique.
Cours 2, 22 janvier, 16h-17h sur "Esterel et SCADE, de la recherche à l'industrie : la vision industrielle".
Séminaire, 17h-18h avec Patrick Flandrin, Ecole normale supérieure de Lyon. Une fréquence peut-elle être instantanée ?
Cours 3, 29 janvier, 16h-17h sur "Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle".
Séminaire, 17h-18h avec Laurent Maillet-Contoz, ST Microelectronics et Matthieu Moy, Verimag Grenoble. Prototypage virtuel de système sur puce pour une simulation rapide et fidèle.
