Logic List Mailing Archive

RP 2014: Reachability Problems

22-24 Sep 2014
Oxford, U.K.

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@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