| 22 November 2021 (Morning) | ||
| 9h45 - 10h | Opening Session | |
| 10h - 11h | Invited Talk: On Decentralized System Monitoring | Ylies Falcone, Univ. Grenoble Alpes, France |
| Coffe break (15 mins) | ||
| Session 1: Formal verification (11h15 - 12h45) | ||
| 11h15 - 11h45 | Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation | Kais Klai, Chiheb Ameur Abid, Jaime Arias and Sami Evangelista |
| 11h45 - 12h15 | SMT-based Unbounded Model Checking for ATL | Michał Kański, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek and Wojciech Nabiałek |
| 12h15 - 12h45 | Formal Verification and Security Considerations for LoRaWAN Adaptive Data Rates | Matt Webster, Clare Dixon and Michael Fisher |
| 23 November 2021 (Morning) | ||
| 9h - 10h | Invited talk: An Orchestrated Reflection of Quality Assurance in the era of Data-Driven Intelligent Systems | Lei Ma, University of Alberta, Canada |
| Session 2: Adaptive and Intelligent systems (10h15 - 12h45) | ||
| 10h00 - 10h30 | Incremental LSTM for Fault Prediction | Gao Xuefeng, Ren Huorong and Lv Yinfei |
| Coffe break (15 mins) | ||
| 10h45 - 11h15 | Roles and Responsibilities for a Predictable Update Process | Astrid Rakow and Janis Kröger |
| 11h15 - 11h45 | Handling of Operating Modes in Contract-based Timing Specifications | Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam and Martin Fränzle |
| 11h45 - 12h15 | Coalition formation with multiple alternatives of interdependent tasks | Youcef Sklab, Samir Aknine, Onn Shehory and Hanane Ariouat |
| 12h15 - 12h30 | Closing session | |
| Times: Paris time zone | ||