Program

Time	Wednesday 26	Thursday 27
10:30-11:30	Keynote (Simon Gay)        Chair: Max Tschaikowski	Keynote (Raúl Pardo)        Chair: Sergio Mover
11:30-12:00	Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille and Alfons Laarman: Efficient Implementation of LIMDDs for Quantum Circuit Simulation	Bryant Israelsen, Landon Taylor and Zhen Zhang: Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks
12:00-12:30	Giso H. Dal, Alfons Laarman and Peter J.F. Lucas: ParaGnosis: A Tool for Parallel Knowledge Compilation	Roi Fogler, Itay Cohen and Doron Peled: Accelerating black box testing with light-weight learning
12:30-14:00	Lunch break	Lunch break
14:00-15:00	Keynote (Joost-Pieter Katoen)        Chair: Arnd Hartmanns	Keynote (Caterina Urban)        Chair: Matthias Heizmann
15:00-15:30	Hugues Evrard and Alastair F. Donaldson: Model Checking Futexes	Théo Matricon, Nathanaël Fijalkow and Gaëtan Margueritte: WikiCoder: Learning to Write Knowledge-Powered Code
15:30-16:00	Chukri Soueidi and Yliès Falcone: Sound Concurrent Traces for Online Monitoring	Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Ničković and Bettina Könighofer: Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
16:00-16:30	Coffee break	Coffee break
16:30-17:40	Chair: Alfons Laarman
16:30-17:00	Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba and Nikolaj Jensen Ulrik: Elimination of Detached Regions in Dependency Graph Verification
17:00-17:20	Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jiří Srba, Adam M. Stück and Andreas S. Sørensen: Potency-Based Heuristic Search with Randomness for Explicit Model Checking
17:20-17:40	Anton Wijs and Muhammad Osama: GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data