Monday
09:00 - 10:00 Keynote Talk | Orna Grumberg | Modular demand-driven analysis of semantic difference for program versions |
10:00 - 10:30 | Erich Grädel | Semiring provenance for logic and games |
10:30 - 11:00 | coffee break | |
11:00 - 11:30 | Michael Tautschnig | Challenges in analysing virtualisation stacks |
11:30 - 12:00 | Temur Kutsia | Pattern-based calculi with finitary matching |
12:00 - 12:30 | Michael Morak | The impact of treewidth on ASP grounding and solving |
Tuesday
09:00 - 09:30 | Oliver Lehmann | The March for Science – to which destination? |
09:30 - 10:00 | Igor Konnov | Towards symbolic model checking of fault-tolerant designs in TLA+ |
10:00 - 10:30 | Anna Lukina | Attacking the V |
10:30 - 11:00 | coffee break | |
11:00 - 11:30 | Josef Widder | Synthesis of distributed algorithms with parameterized threshold guards |
11:30 - 12:00 | Wolfgang Dvořák | Lower bounds for symbolic computation on graphs |
12:00 - 12:30 | Gernot Salzer | The Complexity of finding the next Whisky Bar |
Wednesday
09:30 - 10:00 | Uwe Egly | QRAT+: A Powerful Redundancy Elimination Method |
10:00 - 10:30 | Friedrich Slivovsky | Recent trends in QBF solving |
10:30 - 11:00 | coffee break | |
11:00 - 11:30 | Ana Sokolova | The power of convex algebras |
11:30 - 12:00 | Sebastian Arming | Finding parameter-agnostic policies for parametric MDPs |
12:00 - 12:30 | Georg Weissenbacher | Interpolants from DRAT proofs |
12:30 | Closing |