posted by organizer: igor_potapov || 2619 views || tracked by 6 users: [display]

RP 2014 : The 8th International Workshop on Reachability Problems


Conference Series : Reachability Problems
When Sep 22, 2014 - Sep 24, 2014
Where Oxford, UK
Submission Deadline Jun 11, 2014
Notification Due Jul 4, 2014
Final Version Due Jul 14, 2014
Categories    theoretical computer science   computation theory   logic   formal methods

Call For Papers

The 8th International Workshop on Reachability Problems (RP2014)
(22 - 24 September 2013, University of Oxford, United Kingdom)

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

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.


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 [ ] 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.


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

Related Resources

RP 2017   Reachability Problems
HVC 2017   Haifa Verification Conference
COMIP-IJAI 2017   Special Issue of IJAI - Combinatorial Optimization Methods for Inverse Problems
ICTSS 2017   International Conference on Testing Software and Systems
ISOTAEP-ICAMCS 2017   International Symposium on Optimization Techniques Applied to Engineering problems
OMS 2017   4th Conference on Optimization Methods and Software
LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
IEEE-Scheduling 2017   Planning and scheduling problems
SNR 2017   3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
EXPRESS/SOS 2017   Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics