[DMANET] CfP: Reachability Problems, Oxford, 22 - 24 September 2014

RP'14 Call for Participation
---------------------------------
The 8th International Workshop
on REACHABILITY PROBLEMS (RP2014)
Early registration : 12 September 2014 (£150)
http://www.cs.ox.ac.uk/RP2014/

The Department of Computer Science will organize the 8th International Workshop
on Reachability Problems (RP'2014). This event will take place at the
Department in the centre of Oxford, 22 - 24 September 2014.

The Reachability Workshop is specifically aimed at gathering together
scholars from diverse disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification

Invited Speakers:
- Byron Cook, UCL and Microsoft Research, UK.
- Kousha Etessami, University of Edinburgh, UK.
- Anca Muscholl, LaBRI Bordeaux, France.
- Sylvain Schmitz, LSV and ENS-Cachan, France.

Accepted papers:
https://www.cs.ox.ac.uk/RP2014/accepted-papers/

Programme:
https://www.cs.ox.ac.uk/RP2014/programme/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************