Program (Wednesday July 03, 2024)
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:20 | Contributed Papers (12 min presentation, 8 min discussion) |
| 14:00 | Welcome Address |
| 14:20 | Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta and Vassilios Tsachouridis: Stability Verification of an Industrial Switched PI Control Systems (Benchmark Proposal) |
| 14:40 | Mark Wetzlinger and Matthias Althoff: Randomized Generation of Arbitrarily Difficult Verification Tasks for Linear Time-Invariant Systems (Benchmark Proposal) |
| 15.00 | Mark Wetzlinger, Viktor Kotsev, Adrian Kulmburg and Matthias Althoff: Implementation of Polyhedral Operations in CORA 2024 (Tool Presentation) |
| 15:20 - 15:40 | Results of the ARCH Friendly Competition (Part I) |
| 15:20 | Nonlinear Systems (lead: Luca Geretti) |
| 15:30 | Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff) |
| 15:40 - 16:10 | Coffee Break |
| 16:10 - 17:00 | Results of the ARCH Friendly Competition (Part II) |
| 16:10 | Piecewise Constant Dynamics (lead: Lei Bu) |
| 16:20 | Falsification (lead: Claudio Menghi) |
| 16:30 | Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson) |
| 16:40 | Voting for ARCH 2024 Best Result Award |