Keynote Speaker
Simulation and Verification of Timed and Hybrid Dynamical Systems
dr.ir. Bert D.A. van Beek, Eindhoven University of Technology, Eindhoven, The Netherlands
You can download the presentation here in pdf format.
Invited Speakers
Focusing on the main tracks of the Conference, invited speakers will give special in-depth presentations in plenary sessions, which will be included in the Proceedings of the Conference.
