9th International Workshop on Reachability Problems

Invited Speakers

Christel Baier (Technische Universität Dresden)

Alessandro D'Innocenzo (Università degli Studi dell'Aquila)

Jerome Leroux (LABRI, Université Bordeaux)

Peter Bro Miltersen (Aarhus Universitet)

Andrey Rybalchenko (Microsoft Research)

James Worrell (University of Oxford)

Important dates:

Support

We acknowledge the kind support of