[TYPES/announce] RP 2014 -- Second Call for Papers

[Dimitrios Vytiniotis]

[On behalf of James Worrell] 

REACHABILITY PROBLEMS 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: 4 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 at 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