Best Paper Award at Turing 100

Turing 100

The paper entitled Vector Addition Systems Reachability Problem (A Simpler Solution) (Leroux, 2012) has received a best paper award at the Alan Turing centenary conference held in Manchester in June 2012.