Best paper award

less than 1 minute read

Following the PC vote, the best paper award goes to:

Benedikt Bollig, Alain Finkel and Amrita Suresh: Bounded Reachability Problems are Decidable in FIFO Machines [paper]

The best paper was announced September 1 at 12:00 CEST at Social Lunch and Best Paper Award. See the program.

The four papers have been nominated by the Program Committee for the best paper award:

  1. Patricia Bouyer, Stephane Le Roux, Youssouf Oualhadj, Mickael Randour and Pierre Vandenhove: Games Where You Can Play Optimally with Arena-Independent Finite Memory [paper]
  2. Benedikt Bollig, Alain Finkel and Amrita Suresh: Bounded Reachability Problems are Decidable in FIFO Machines [paper]
  3. Dmitry Chistikov, Stefan Kiefer, Andrzej Murawski and David Purser: The Big-O Problem for Labelled Markov Chains and Weighted Automata [paper]
  4. Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik and Mathias Ruggaard Pedersen: On the Axiomatisability of Parallel Composition: A Journey in the Spectrum [paper]

Following the PC vote, we will select the winner and announce the best paper on September 1 at 12:00 CEST at Social Lunch and Best Paper Award. See the program.