This is a tentative program for the conference:
Tuesday, Sep 5
| 8:30-9:30 | Registration |
| 9:30-10:00 | CONCUR opening |
| 10:00-11:00 | Invited Talk: Hongseok Yang |
| 11:00-11:30 | Break |
| Session: Timed models. Chair: David N. Jansen. | |
| 11:30-12:00 | On the Determinization of Timed Systems Patricia Bouyer, Samy Jaziri and Nicolas Markey |
| 12:00-12:30 | On Global Scheduling Independency in Networks of Timed Automata Sergio Feo-Arenis, Milan Vujinovic and Bernd Westphal |
| 12:30-13:00 | Optimal Reachability in Cost Time Petri Nets Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux and Charlotte Seidner |
| 13:00-14:30 | Lunch time |
| 14:30-16:00 | Invited talk (CONCUR): Azadeh Farzan |
| 16:00-16:30 | Break |
| Session: Hybrid Systems. Chair: Martin Fränzle. | |
| 16:30-17:00 | Optimal Control for Multi-Mode Systems with Discrete Costs Mahmoud Ali Mousa, Sven Schewe and Dominik Wojtczak |
| 17:00-17:30 | Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems Arvind Adimoolam and Thao Dang |
| 17:30-18:00 | Conic Abstractions for Hybrid Systems Sergiy Bogomolov, Mirco Giacobbe, Thomas Henzinger and Hui Kong |
| 18:00-18:30 | Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata Stanley Bak, Sergiy Bogomolov and Matthias Althoff |
| From 19:00 | Reception |
Wednesday, Sep 6
| 9:00-10:00 | Invited Talk: Euler’s method applied to the control of switched systems Laurent Fribourg |
| Session: Probabilistic models. Chair: Jane Hillston. | |
| 10:00-10:30 | Symbolic Dependency Graphs for PCTL Model-Checking Anders Mariegaard and Kim Guldstrand Larsen |
| 10:30-11:00 | Distribution-based bisimulation for labelled Markov processes Pengfei Yang, David N. Jansen and Lijun Zhang |
| 11:00-11:30 | Break |
| Session: Quantitative Logics and Monitoring. Chair: Ana Sokolova. | |
| 11:30-12:00 | On the Quantitative Semantics of Regular Expressions over Real-Valued Signals Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan Ulus |
| 12:00-12:30 | Combining the Temporal and Epistemic Dimensions for MTL Monitoring Eugene Asarin, Oded Maler, Dejan Nickovic and Dogan Ulus |
| 12:30-13:00 | Efficient Online Timed Pattern Matching by Automata-Based Skipping Masaki Waga, Ichiro Hasuo and Kohei Suenaga |
| 13:00-14:30 | Lunch time |
| 14:30-16:00 | Invited talk (QEST): Romualdo Pastor-Satorras |
| 16:00-16:30 | Break |
| Session: Reachability Analysis. Chair: Gilles Geeraerts. | |
| 16:30-17:00 | Let’s Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata Loïg Jezequel and Didier Lime |
| 17:00-17:30 | Lazy Reachability Checking for Timed Automata using Interpolants Tamás Tóth and István Majzik |
| 17:30-18:00 | Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li and Naijun Zhan |
| From 19:00 | Dinner |
Thursday, Sep 7
| 10:00-11:00 | Invited Talk (QEST/FORMATS/EPEW): Morten Bisgaard |
| 11:00-11:30 | Break |
| Session: Testing and simulation. Chair: Jan Křetínský. | |
| 11:30-12:00 | Simulation Based Computation of Certificates for Safety of Dynamical Systems Stefan Ratschan |
| 12:00-12:30 | A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron and Burkhart Wolff |
| 12:30-13:00 | Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction Rehab Massoud, Jannis Stoppe, Daniel Grosse and Rolf Drechsler |
| 13:00-14:30 | Lunch time |
| 14:30-16:00 | Invited talk (EPEW): William Knottenbelt |