FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editor: David Mitchell

Authors	Title	Paper	Talk
Özgür Akgün	Automated Constraint Modelling with Conjure		Jul 18 16:25
Sabine Bauer	Decidable Linear Tree Constraints		Jul 18 17:15
Bruno Courcelle and Irène Durand	Monadic Second-Order Model Checking with Fly-Automata		Jul 18 09:00
Johannes Fichte	Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth		Jul 18 16:50
Tomas Fiedor, Lukas Holik, Petr Janku, Ondrej Lengal and Tomas Vojnar	Lazy Automata Techniques for WS1S		Jul 18 10:05
Alan Frisch	ESSENCE, A Language for Specifying Combinatorial Problems: What, Why and So What?		Jul 18 16:00
Robert Giegerich	Declarative Dynamic Programming with Inverse Coupled Rewrite Systems		Jul 18 14:00
Joachim Kneis, Alexander Langer and Peter Rossmanith	Courcelle’s Theorem – A Game-Theoretic Approach		Jul 18 11:00
Eugenia Ternovska	A Logic of Information Flows		Jul 18 15:00
Dmitriy Traytel	A Derivative-Based Decision Procedure for WS1S		Jul 18 12:05
Eugenia Ternovska	A Logic of Information Flows - Paper
Sabine Bauer	Decidable Linear Tree Constraints - Extended Abstract
Bruno Courcelle	Monadic Second-Order Model Checking with Fly-Automata - Slides

Disclaimer | Powered by EasyChair Smart Program