| 8h50 | Opening remarks |
| 9h | Morning Keynote – Hana Chockler: Causality and Responsibility for Formal Verification and Beyond |
| 10h | Georgiana Caltais, Stefan Leue, and Mohammad Reza Mousavi: (De-)Composing Causality in Labeled Transition Systems |
| 10h30 | coffee break |
| 11h | Hichem Debbi: Debugging of Markov Decision Processes (MDPs) Models |
| 11h30 | Severin Kacianka, Florian Kelbert, and Alexander Pretschner: Towards a Unified Model of Accountability Infrastructures |
| 12h | Peter Bernard Ladkin and Bernd Sieker: Causal Analysis in Everyday Engineering |
| 12h30 | lunch |
| 13h30 | Afternoon Keynote – Chao Wang: Constraint-based Analysis for Verifying and Debugging Concurrent Software |
| 14h30 | Sylvain Hallé and Oussama Beroual: Fault Localization in Web Applications via Model Finding (invited talk) |
| 15h | coffee break |
| 15h30 | short presentations and round-table discussion |
Privacy Overview
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.