The virtual meeting is scheduled for Thursday October 15 (weblink).
The tentative program is as follows.
14h — 17h
- Welcome and update
- 14:15 – 15:00 Antoine Girard. A Symbolic Control Approach to the Programming of Cyber-Physical Systems (Slides)
- 15:00 – 15:30 Francois Bidet (Ph.D.). Analyse d’atteignabilité de systèmes affines par rapport à des entrées bornées variant arbitrairement (Slides)
- Break
- 15:45 – 16:30 Marc Pouzet. An Executable Synchronous Semantics. (Slides)
- 16:30 – 17:00 Ismail Lahkim Bennani (Ph.D.). Falsification of synchronous systems using automatic differentiation (Slides).