08:45 - 09:00 Welcome and Opening remarks

09:00 - 10:30 Regular Expressions and Temporal Logics (see here for abstracts)

09:00 Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias, Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam and Alena Rodionova

09:30 On the Quantitative Semantics of Regular Expressions over Real-Valued Signals, Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan Ulus

10:00 Stimulus Generator for Circuit Model Generation, Xavier Avon and Thao Dang

11:00 - 13:00 Falsification (see here for abstracts)

11:00 Time-Staging Enhancement of Hybrid System Falsification, Gidon Ernst, Ichiro Hasuo, Sean Sedwards and Zhenya Zhang

11:30 Falsification of Cyber-Physical Systems with Reinforcement Learning, Koki Kato, Fuyuki Ishikawa and Shinichi Honiden

12:00 Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach, Arend Aerts, Bryan Tong Minh, Mohammadreza Mousavi and Michel Reniers

12:30 Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems, Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Sajed Miremadi, Zahra Ramezani and Knut Åkesson

14:00 - 15:30 Tools (see here for abstracts)

14:00 Towards Context-Aware Cyber-Physical Systems, Radoslav Ivanov, James Weimer and Insup Lee

14:30 DejaVu: A Monitoring Tool for First-Order Temporal Logic, Klaus Havelund, Doron Peled and Dogan Ulus

15:00 MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration, Masaki Waga, Ichiro Hasuo and Kohei Suenaga

16:00 - 17:30 Control and Stimulus Generation (see here for abstracts)

16:00 Resilient Control and Safety for Cyber-Physical Systems, Ashish Tiwari, Scott Smolka, Lukas Esterle, Anna Lukina, Junxing Yang and Radu Grosu

16:30 Cyber-Physical Doping Tests, Sebastian Biewer, Pedro R. D'Argenio and Holger Hermanns

17:00 From MITL to timed automata, Thomas Ferrère, Oded Maler and Dejan Nickovic