RP: Reachability Problems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2021 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
RP 2020 14th International Conference on Reachability Problems (RP'20)
Oct 19, 2020 - Oct 21, 2020 Paris, France Jul 3, 2020 (Jun 30, 2020)
RP 2019 13th International Conference on Reachability Problems (RP 2019)
Sep 11, 2019 - Sep 13, 2019 BRUSSELS, BELGIUM Jun 17, 2019
RP 2018 Reachability Problems
Sep 24, 2018 - Sep 26, 2018 Marseille, France Jun 15, 2018
RP 2017 Reachability Problems
Sep 7, 2017 - Sep 9, 2017 Royal Holloway, University of London Jun 19, 2017
RP 2016 Reachability Problems
Sep 19, 2016 - Sep 21, 2016 Aalborg, Denmark Jun 10, 2016
RP 2015 9th International Workshop on Reachability Problems
Sep 21, 2015 - Sep 23, 2015 Warsaw, Poland Jun 11, 2015
RP 2014 The 8th International Workshop on Reachability Problems
Sep 22, 2014 - Sep 24, 2014 Oxford, UK Jun 11, 2014
RP 2013 The 7th International Workshop on Reachability Problems
Sep 25, 2013 - Sep 27, 2013 Uppsala, Sweden Jun 10, 2013
RP 2012 6th International Workshop on Reachability Problems
Sep 17, 2012 - Sep 19, 2012 Bordeaux, France May 10, 2012
RP 2011 5th Workshop on Reachability Problems
Sep 28, 2011 - Sep 30, 2011 Genova, Italy May 10, 2011
 
 

Present CFP : 2020

Call for Papers -- RP 2020

14th International Conference on Reachability Problems (RP'20)

October 19-21 2020, Paris, France
https://www.irif.fr/~rp2020/

--------------------------------------------------------------------
Abstract submission: June 30, 2020, AoE
Paper submission deadline: July 3, 2020, AoE
https://easychair.org/conferences/?conf=rp20200
--------------------------------------------------------------------

The institut de recherche en informatique fondamentale at Université
de Paris organises the 14th International Conference on Reachability
Problems (RP'20).

Invited speakers:
* Valérie Berthé (CNRS, Paris)
* Patricia Bouyer-Decitre (CNRS, Saclay)
* Kousha Etessami (University of Edinburgh)
* Orna Kupferman (Hebrew University)
* Dirk Nowotka (Kiel University)

Submission Guidelines:
There are two categories of submissions:
* Regular Papers: authors are invited to submit a draft of a full
paper with at most 12 pages (excluding the bibliography) formatted
according to the LNCS guidelines. Authors are asked to submit
their paper through EasyChair at
https://easychair.org/conferences/?conf=rp20200
* Presentations: in addition to the formal presentations based on our
LNCS proceedings volume, we invite researchers to submit a paper
which recently appeared (or which is going to appear) in
proceedings of another conference, or which has not yet been
submitted. Neither the paper nor the abstract will be published in
the proceedings.

Important Dates:
abstract submission: June 30, 2020, AoE
paper submission: July 3, 2020, AoE
notification: August 17, 2020
camera ready: August 24, 2020

Topics:
The conference is specifically aimed at gathering together scholars
from diverse disciplines and backgrounds interested in reachability
problems that appear in
* Algebraic structures
* Automata theory and formal languages
* Computational game theory
* Concurrency and distributed computation
* Decision procedures in computational models
* Hybrid dynamical systems
* Logic and model checking
* Verification of finite and infinite-state systems

Topics of interest include (but are not limited to): reachability
problems in infinite-state systems, rewriting systems, dynamical and
hybrid systems; reachability problems in logic and verification;
reachability analysis in different computational models, counter
timed/ cellular/ communicating automata; Petri nets; computational and
combinatorial aspects of algebraic structures (semigroups, groups and
rings); frontiers between decidable and undecidable reachability
problems; predictability in iterative maps and new computational
paradigms.

Program Committee:
* C. Aiswarya (CMI, IN)
* S. Akshay (IIT-Bombay, IN)
* Christel Baier (TU Dresden, DE)
* Nathalie Bertrand (Inria, FR)
* Sergiy Bogomolov (Newcastle U., UK)
* Olivier Bournez (École Polytechnique, FR)
* Laure Daviaud (City U. London, UK)
* Pierre Ganty (IMDEA Software Institute, ES)
* Gilles Geeraerts (U. Libre de Bruxelles, BE)
* Matthew Hague (Royal Holloway U. London, UK)
* Mika Hirvensalo (U. Turku, FI)
* Petr Jančar (Palacký U. Olomouc, CZ)
* Raphaël Jungers (U. C. Louvain, BE)
* Akitoshi Kawamura (Kyushu U., JP)
* Sang-Ki Ko (Kangwon Natl. U., KR)
* Slawomir Lasota (U. Warsaw, PL)
* Karoliina Lehtinen (U. Liverpool, UK)
* Igor Potapov (U. Liverpool, UK, co-chair)
* Cristian Riveros (Pontifica U. Católica de Chile, CHL)
* Sylvain Schmitz (U. de Paris, FR, co-chair)
* Mahsa Shirmohammadi (CNRS, FR)
* Georg Zetzsche (MPI-SWS, DE)

Venue:
The conference was initially planned to be held in Paris, on the
campus des grands moulins of Université de Paris. However, as the
coronavirus pandemic is causing a major disruption in the lives of
many members of our community, we will consult the authors of
submitted papers at notification time; based on this feedback the
conference will be either held physically (with an option of remote
participation and a reduced conference fee for those who cannot
attend) or completely virtually. Either way the publication of the
conference proceedings will go forward as usual.

Contact: rp2020-0@easychair.org
 

Related Resources

IEEE-CTISC 2020   2020 2nd International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2020)
Elsevier 2020   Call for Elsevier book chapter proposal: Multi-Objective Combinatorial Optimization Problems and Solution Methods
COMIT 2020   4th International Conference on Computer Science and Information Technology
ISSEP 2020   nternational Conference on Informatics in Schools: Situation, Evolution, Problems
MLT 2020   International Conference on Machine Learning & Trends
MEDITERRANEAN 2020   The Mediterranean between history and innovation. Problems and perspectives
NETWORKS 2020   4th International Conference on Networks & Communications
JVE Conference in Riga, Latvia 2020   48th International JVE Conference on Current Problems in Mechanics and Vibroengineering
FCST 2020   8th International Conference on Foundations of Computer Science & Technology
PDCO 2020   10th IEEE Workshop on Parallel / Distributed Combinatorics and Optimization