Wednesday, September 26, 2018
- 08:30-09:00: Registration
- 09:00-10:00: Véronique Bruyère. Synthesis of subgame perfect equilibria in graph games (Invited Talk)
- 10:00-10:30: Coffee Break
- 10:30-12:00: Games
- Alexander Weinert. Quantitative Reductions and Vertex-Ranked Infinite Games
- Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Jean-Francois Raskin. Constrained existence problem for weak subgame perfect equilibria with ω-regular Boolean objectives
- Arno Pauly. Parameterized games and parameterized automata
- 12:00-14:00: Lunch Break
- 14:00-15:30: Logics
- Federico Aschieri, Agata Ciabattoni and Francesco Antonio Genco. Classical Proofs as Parallel Programs
- Pietro Galliani. Safe Dependency Atoms and Possibility Operators in Team Semantics
- Éric Goubault, Jérémy Ledent and Sergio Rajsbaum. A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
- 15:30-16:00: Coffee Break
- 16:00-17:00: Tools
- Jesko Hecking-Harbusch and Leander Tentrup. Solving QBF by Abstraction
- Lisette Sanchez, Wieger Wesselink and Tim Willemse. A comparison of BDD-Based Parity Game Solvers
- 17:30-20:00: Schwenken: Saarlandian BBQ
Thursday, September 27, 2018
- 09:00-10:00: Holger Hermanns. Battery-Aware Scheduling in Low Orbit - The GomX-3 Case (Invited Talk)
- 10:00-10:30: Coffee Break
- 10:30-12:00: Verification
- Petra van den Bos and Marielle Stoelinga. Tester versus Bug: a Generic Framework for Model-Based Testing via Games
- Balasubramanian A.R. Parameterized verification of coverability in well-structured broadcast networks
- Tobias Rosenkrantz Gundersen, Florian Lorber, Ulrik Nyman and Christian Ovesen. Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
- 12:00-14:00: Lunch Break
- 14:00-15:30: Temporal Logics
- Michele Chiari, Dino Mandrioli and Matteo Pradella. Temporal Logic and Model Checking for Operator Precedence Languages
- Luca Geatti, Nicola Gigante, Angelo Montanari and Mark Reynolds. A one-pass and tree-shaped tableau for TPTL and TPTLb+Past
- Laura Bozzelli, Alberto Molinari, Angelo Montanari and Adriano Peron. Complexity of timeline-based planning over dense temporal domains: exploring the middle ground
- 15:30-16:00: Coffee Break
- 16:00-17:00: First-order Logic
- Marcin Przybyłko. On Computing the Measures of First-Order Definable Sets of Trees
- Thiago Rocha, Ana Teresa Martins and Francicleber Ferreira. On Finding a First-Order Sentence Consistent with a Sample
- 19:00-23:00: Conference Dinner
Friday, September 28, 2018
- 09:00-10:00: Kim G. Larsen. Energy Timed Automata and Games (Invited Talk)
- 10:00-10:30: Coffee Break
- 10:30-12:00: Temporal Logics and Automata
- Laura Bozzelli, Aniello Murano and Adriano Peron. Timed context-free temporal logics
- Patricia Bouyer, Mauricio González, Nicolas Markey and Mickael Randour. Multi-weighted Markov decision processes with reachability objectives
- Dana Angluin and Dana Fisman. Regular ω-Languages with an Informative Right Congruence
- 12:30-19:00: Optional excursion to UNESCO World Heritage Site Völklingen Steel Works
