Friday, June 6, 2014

[DMANET] EXTENDED deadline - Reachability Problems (Oxford 2014) Deadline: 4 June 2014

REACHABILITY PROBLEMS 2014
Submission deadline is EXTENDED : 11th of June 2014
-------------------------------------------------
The 8th International Workshop on Reachability Problems (RP2014)
(22 - 24 September 2013, University of Oxford, United Kingdom)
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.

Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renown invited experts and survey emerging trends and emphasize on key open challenges. Participants are kindly encouraged to discuss on core scientific issues that need to be further tackled.

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.

Submissions:

Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought.

Topics of interest include (but are not limited to): Reachability for infinite
state systems, rewriting systems; Reachability analysis in counter/ timed/
cellular/ communicating automata; Petri-Nets; computational aspects of
semigroups, groups and rings; Reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability problems; complexity
and decidability aspects; predictability in iterative maps and new
computational paradigms

Authors are invited to submit a draft of a full paper with at most 12 pages (in
LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.

Important Dates

- Submission deadline (EXTENDED): 11 June 2014
- Notification to authors: 4 July 2014
- Final version: 14 July 2014
- Workshop: 22 - 24 September 2014

Presentation-Only Track

In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP 2014 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.

To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2014@easychair.org ] by August
4th 2014, with subject "RP2014 Presentation-Only Track". This abstract will
not be published in the conference proceedings.
Notification for the presentation-only track will be August 11th 2014.

Proceedings

The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.


RP2014 Program Committee:

Marius Bozga, VERIMAG Grenoble
Thomas Brihaye, Université de Mons
Véronique Bruyère, Université de Mons
Laurent Doyen, LSV Cachan
John Fearnley, University of Liverpool
Gilles Geeraerts, Université Libre de Bruxelles
Madhavan Mukund, Chennai Math. Institute
Andrzej Murawski, University of Warwick
Paritosh Pandya, TATA Institute of Fundamental Research
Igor Potapov, University of Liverpool
Stefan Göller, University of Bremen
Martin Lange, University of Kassel
Kim Larsen, Aalborg University
Ranko Lazic, University of Warwick
Rupak Majumdar, Max Planck Institute for Software Systems
Nicolas Markey, ENS Cachan
Joel Ouaknine (co-chair), University of Oxford
Alexander Rabinovich, Tel Aviv University
Tayssir Touili, LIAFA University Paris Diderot
Thomas Wahl, Northeastern University
James Worrell (co-chair), University of Oxford
Lijun Zhang, Institute of Software – Chinese Academy of Science

Previous Workshops:

2013: RP'13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP'12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45, Turku Centre for Computer Science

**********************************************************
*
* 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/
*
**********************************************************