|
09:00 - 09:15
|
Accueil et présentation de la journée (Amphi A) - Pierre Liardet |
|
|
09:15 - 10:15
|
Yannick Teglia (STMicroelectronics) : Sécurité et sûreté des System On chip (SoC) complexes (Amphi A) - Philippe Elbaz-Vincent |
|
|
10:15 - 11:15
|
Thierry Lecomte (ClearSy, Aix-en-Provence) : méthodes formelles en génie de systèmes embarqués (Amphi A) - Traian Muntean |
|
|
11:15 - 11:45
|
Pause café (Terrasse) |
|
|
11:45 - 12:45
|
Pierre Bessière (Collège de France) : Probabilités subjectives : applications industrielles et modélisation des systèmes sensori-moteurs (Amphi A) - Yuri Golubev |
|
|
12:45 - 14:00
|
Déjeuner |
|
|
14:00 - 14:30
|
Présentation de la SMF et de la SMAI (Salle de réunion) |
|
|
14:30 - 16:00
|
Table ronde (Salle de réunion) - Marie Postel |
|
|
16:30 - 17:15
|
Rencontre avec le Directeur du CIRM (CIRM ) |
|
