FE-CPS 2022 Program
The workshop has been moved to a keynote-only event. It is scheduled on Friday, July 8th afternoon. The detail of each keynotes can be found here.
The workshop will be held at the main building of Babeș-Bolyai University in Cluj-Napoca, in the Tiberiu Popovici Amphitheatre (1st floor).
Time | Talk |
---|---|
13h40 – 14h30 | Recent advances for hybrid systems verification with HyPro Erika Ábrahám, RWTH Aachen (Germany) |
14h30 – 15h20 | Challenges for safe and secure CPS Thierry Lecomte, ClearSy (Aix-en-Provence, France) |
15h20 – 15h35 | Coffee break |
15h35 – 16h20 | Reachability analysis and simulation for hybridised Event-B models (Speaker TBD) |