GandALF 2014

Fifth International Symposium on Games, Automata, Logics and Formal Verification - Verona, Italy

Program

Note: each talk will be of 30 minutes including 5 minutes for questions.

Wednesday 10 September

10.00 – 12.30: Registration
11.00 – 12.00: Invited Talk

Alessio R. Lomuscio. Advances in symbolic model checking for multi-agent systems.

12.30 – 14.00: Lunch
14.00 – 15.30: LOGIC and COMPLEXITY

  1. Antti Kuusisto. Some Turing-Complete Extensions of First-Order Logic
  2. Jonni Virtema. Complexity of validity for propositional dependence logics
  3. Amir Ben-Amram. The Hardness of Finding Linear Ranking Functions for Lasso Programs

15.30 – 16.00: Break
16.00 – 17.30: LOGIC AND AUTOMATA

  1. Christian Wurm. Kleene Algebras, Regular Languages and Substructural Logics
  2. Peter Faymonville and Martin Zimmermann. Parametric Linear Dynamic Logic
  3. Constantin Enea, Peter Habermehl, Omar Inverso and Gennaro Parlato. On The Path-Width of Integer Linear Programming

19:30: Social dinner

Thursday 11 September

09.00 – 10.00: Invited Talk

Joel Ouaknine. Termination of Linear Programs: Advances and Challenges

10.00 – 10.30: Break
10.30 – 11.30: SYNTHESIS

  1. Sarah Winter and Christof Löding. Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
  2. Angelo Montanari and Pietro Sala. Interval-based Synthesis

11.30 – 12.30: FORMAL VERIFICATION

  1. Florian Bruse, Michael Falk and Martin Lange. The Fixpoint-Iteration Algorithm for Parity Games
  2. Giorgio Delzanno, Michele Tatarek and Riccardo Traverso. Model Checking Distributed Consensus

12.30 – 14.30: Lunch
14.30 – 15.30: DISTRIBUTED and COMMUNICATING SYSTEMS

  1. Antti Kuusisto. Infinite Networks, Halting and Local Algorithms
  2. Jason Jaskolka and Ridha Khedri. A Formulation of the Potential for Communication Condition using C2KA

15.30 – 16.00: Break
16.00 – 17.30: AUTOMATA

  1. Mark Reynolds, Tim French, Yuki Osada and Harry Smallbone. Hourglass Automata
  2. Adrien Boiret, Vincent Hugot, Joachim Niehren and Ralf Treinen. Deterministic Automata for Unordered Trees
  3. Davide Bresolin, Khaled El-Fakih, Tiziano Villa and Nina Yevtushenko. Timed Finite State Machines: Equivalence Checking and Expressive Power

19:30: Musical banquet

Friday 12 September

09.00 – 10.00: Invited Talk

Phokion G. Kolaitis. Schema Mappings and Data Examples: An Interplay between Syntax and Semantics

10.00 – 10.30: Break
10.30 – 11.30: GAMES

  1. Bernd Finkbeiner and Ernst-Ruediger Olderog. Petri Games: Synthesis of Distributed Systems with Causal Memory
  2. Marcin Przybyłko. Tree games with regular objectives

11.30 – 12.30: AUTOMATA AND GAMES

  1. Krishna S., Lakshmi Manasa G and Ashutosh Trivedi. Improved Undecidability Results for Reachability Games on Recursive Timed Automata
  2. Ilaria De Crescenzo, Salvatore La Torre and Yaron Velner. Visibly Pushdown Modular Games

12.30: Lunch

GandALF 2014 © 2014 Frontier Theme