Dates
Une journée sur les méthodes formelles pour les systèmes cyber physiques est organisée par 3 groupes de travail :
- le comité technique SED (Systèmes à Événements Discrets) de la SAGIP,
- le thème scientifique TS3 (Hétérogénéité et Complexité) du GdR Robotique,
- l’action inter-GDR AFSEC (Approches Formelles des Systèmes Embarqués Communicants).
Cette journée se déroulera à Paris le 5 novembre 2026 au CNAM, 2 rue conté (amphithéâtre Georges Friedman 33-2-20).
Toutes les informations sur le site : https://sed.ls2n.fr/journees-thematiques-animation/
Journée gratuite (Déjeuner à la cafet du CNAM à la charge des participants) .
Tag