Enseignement à l'extérieur (2013-2014)

INRIA/Sophia-Antipolis - Nice

Les trois cours donnés à Sophia-Antipolis sont 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.

15 janvier 2014

  • Cours : Esterel et SCADE, de la recherche à l'industrie : la vision labo.
  • Séminaire : Le traitement du temps en automatique.
    Juliette Leblond, Inria Sophia-Antipolis

22 janvier 2014

  • Cours : Esterel et SCADE, de la recherche à l'industrie : la vision industrielle.
  • Séminaire : Une fréquence peut-elle être instantanée ?
    Patrick Flandrin, École normale supérieure de Lyon

29 janvier 2014

  • Cours : Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle.
  • Séminaire : Prototypage virtuel de système sur puce pour une simulation rapide et fidèle.
    Laurent Maillet-Contoz, ST Microelectronics et Matthieu Moy, Verimag Grenoble

Université Fédérale de Rio de Janeiro (UFRJ) - Brésil

28 août au 4 septembre 2013
2 séminaires :

  • le temps et les événements en informatique
  • Les nombres 2-adiques vus comme le modèle naturel des circuits arithmétiques.