LASH PROGRAM
Wednesday, July 18th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 125F: Practical MSO Model Checking 1
Chair:
Location: Maths Seminar C4
| 09:00 | Monadic Second-Order Model Checking with Fly-Automata (abstract)  |
| 10:05 | Lazy Automata Techniques for WS1S (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 127F: Practical MSO Model Checking 2
Chair:
Location: Maths Seminar C4
| 11:00 | Courcelle’s Theorem – A Game-Theoretic Approach (abstract) |
| 12:05 | A Derivative-Based Decision Procedure for WS1S (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 128F: Frameworks
Chair:
Location: Maths Seminar C4
| 14:00 | Declarative Dynamic Programming with Inverse Coupled Rewrite Systems (abstract) |
| 15:00 | A Logic of Information Flows (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 130E: Modelling and Solving
Chair:
Location: Maths Seminar C4
| 16:00 | ESSENCE, A Language for Specifying Combinatorial Problems: What, Why and So What? (abstract) |
| 16:25 | Automated Constraint Modelling with Conjure (abstract) |
| 16:50 | Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth (abstract) |
| 17:15 | Decidable Linear Tree Constraints (abstract) |
19:15-21:30 Workshops dinner at Magdalen College
Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).
Location: Magdalen College