FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
LASH PROGRAM
Wednesday, July 18th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 121F: Practical MSO Model Checking 1
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 123F: Practical MSO Model Checking 2
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 124F: Frameworks
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 126E: Modelling and Solving
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).