REACHABILITY PROBLEMS 2015 - call for participation -----------------------------------------------------------------------------------------------
The 9th International Workshop on Reachability Problems (RP2015), 21 - 23 September 2015, University of Warsaw, Poland Early registation: 7 Sept, 2015 Webpage: http://rp2015.mimuw.edu.pl ----------------------------------------------------------------------------------------------- The 9th Workshop on Reachability Problems will be hosted by the University of Warsaw. This event will take place in the old university campus, at the heart of Warsaw. The details concerning registration, hotels, etc. to be found on the webpage. The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines interested in reachability problems that appear in algebraic structures, computational models, hybrid systems, logic and verification. Preliminary program of the conference is avaiable at http://rp2015.mimuw.edu.pl/program.pdf We will host 6 excellent 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 Previous Workshops: 2014: RP'14 in Oxford, UK 2013: RP’13 in Uppsala, Sweden 2012: RP’12 in Bordeaux, France 2011: RP'11 in Genova, Italy 2010: RP'10 in Brno, Czech Republic 2009: RP'09 in Palaiseau, France 2008: RP'08 in Liverpool, UK 2007: RP'07 in Turku, Finland
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
