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