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

RP 2014 : The 8th International Workshop on Reachability Problems

FacebookTwitterLinkedInGoogle


Conference Series : Reachability Problems
 
Link: http://www.cs.ox.ac.uk/RP2014/
 
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

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

Related Resources

RP 2017   Reachability Problems
LICS 2018   Logic in Computer Science
BDCOM 2018   Big Data for Cloud Operations Management: Problems, Approaches, Tools, and Best Practices
IJESA 2017   International Journal of Embedded Systems and Applications
CIIP 2017   Computational Intelligence in Image Processing 2017 (Mathematical Problems in Engineering IF (0.644)
FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
IS 2017   International Conference “Interactive Systems: Problems of Human-Computer Interaction”
KRR@SAC 2018   KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing)
OMS 2017   4th Conference on Optimization Methods and Software
MonMedCoastalAreas 2018   7th Symposium 'Monitoring of Mediterranean Coastal Areas: Problems and measurement techniques'