posted by organizer: igor_potapov || 12652 views || tracked by 4 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Reachability Problems
 
Link: https://www.irif.fr/~rp2020/
 
When Oct 19, 2020 - Oct 21, 2020
Where Paris, France
Submission Deadline Jul 17, 2020
Notification Due Aug 17, 2020
Final Version Due Aug 24, 2020
Categories    theoretical computer science   verification   algorithms   logic
 

Call For Papers

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

RP 2024   Reachability Problems
SPIE-Ei/Scopus-CVCM 2024   2024 5th International Conference on Computer Vision, Communications and Multimedia (CVCM 2024) -EI Compendex
ISDMCI 2024   4th Intelligent Systems of Decision-Making and Problems of Computational Intelligence
ACM-Ei/Scopus-SCDMC 2024   2024 International Conference on Soft Computing, Data Mining and Cybersecurity (SCDMC 2024)
AGISIGSC 2024   The AGS (American Graduate School) International Graduate School Conference 2024 Global Boiling Point: Old Problems and New Solutions
SMC 2024   8th International Conference on Soft Computing, Mathematics and Control
ESCI 2024   IEEE WCCI2024 - CEC2024 Special Session on Evolutionary computation and swarm intelligence for dynamical environments and multitasking problems: Let two different approaches meet
ACM-Ei/Scopus-AI2A 2024   2024 4th International Conference on Artificial Intelligence, Automation and Automation (AI2A 2024) -EI Compendex
SympCoastMed 2024   10th Symposium Monitoring of Mediterranean Coastal Areas. Problems and Measurement Techniques
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)