9th International Workshop on Reachability Problems

      21 - 23 September 2015, Warsaw, Poland

Invited Speakers

wcmcs Christel Baier (Technische Universität Dresden)

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

wcmcs Jerome Leroux (LABRI, Université Bordeaux)

wcmcs Peter Bro Miltersen (Aarhus Universitet)

wcmcs Andrey Rybalchenko (Microsoft Research)

wcmcs James Worrell (University of Oxford)


Important dates:


Support

We acknowledge the kind support of

wcmcs

Dept. Mathematics, Informatics and Mechanics

University of Warsaw