conferences.computer.science

All conferences / RP / 2024

RP 2024

18th International Conference on Reachability Problems

Held25–27 Sep 2024 WhereVienna 🇦🇹 RankCORE absent Website easychair.org/smart-program/RP24/ ↗
Closed

Submission closed on 26 Jun 2024, after an extension of 27 days.

Submission timeline

  • 24 Jun 2024 Abstract registration AoE 27 May 2024 → 24 Jun 2024 +28 days
  • 26 Jun 2024 Full paper AoE 30 May 2024 → 26 Jun 2024 +27 days
  • 30 Jul 2024 Notification 11 Jul 2024 → 30 Jul 2024 +19 days
  • 25 Sep 2024 Conference opens

What to submit

Format
12 pages LNCS (+ ref + appendix)
Proceedings
Springer LNCS — Paywalled, for-profit

Deadline extended by 2 weeks in 2012 and 2013, 1 week in 2014, 1 week in 2015 (despite "strict" deadline), 9+19 days (2016), 40 days (2017), 8 days (2018), 10 days (2019), 14 days (2020), 7 days (2021, 2023), 16 days (2022), 28 days (2024). A selection of up to five articles among the contributed papers will be invited to a special issue of a journal. Also presentation-only Contributions

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at easychair.org/smart-program/RP24/. 

The 18th International Conference on Reachability Problems (RP'24)
Sep 25, 2024 - Sep 27, 2024Vienna, Austria
https://easychair.org/smart-program/RP24/

---------------------------------------------------------
The 18th International Conference on Reachability Problems (RP'24) is being organised
as a physical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien.

When: Sep 25, 2024 - Sep 27, 2024
Where: TU Wien,  Vienna, Austria

- Abstract submission deadline: June 24, 2024
- Paper Submission deadline Jun 26, 2024
- Notification: Jul 30, 2024
- Final Version: Aug 5, 2024

Keynote Speakers:
- Ezio Bartocci, TU Wien
- Joost-Pieter Katoen, RWTH Aachen
- Antonín Kučera, Masaryk University
- Ruzica Piskac, Yale University

Tutorial Speaker:
- K. S. Thejaswini, IST Austria


Original research papers (up to 12 pages) and presentation-only contributions (short abstract), with clear relevance to reachability problems, are both encouraged.

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.
winning strategies and reachability analysis in computational games
reachability in computational models and computability theory

Submissions should be prepared using the Springer LNCS guidelines and submitted via the link https://easychair.org/conferences/?conf=rp24

Accepted original papers will be published in the Springer LNCS proceedings of RP'24.

Program Committee (to be completed):

Parosh Aziz Abdulla (Uppsala University)
Luca Aceto (Reykjavik University)
Christel Baier (TU Dresden)
Valerie Berthe (CNRS IRIF)
Valentina Castiglioni (Eindhoven University of Technology)
Michele Chiari (TU Wien)
Laure Daviaud (University of East Anglia)
Jim de Groot (The Australian National University)
Christoph Haase (University of Oxford)
Vesa Halava (University of Turku)
Ichiro Hasuo (National Institute of Informatics)
Jarkko Kari (University of Turku)
George Kenison (Liverpool John Moores University)
Sandra Kiefer (University of Oxford)
Laura Kovacs (TU Wien) - chair
Jérôme Leroux (CNRS)
Rupak Majumdar (MPI-SWS)
Kaushik Mallik (Institute of Science and Technology Austria)
Tobias Meggendorfer (Lancaster University Leipzig)
Anca Muscholl (LaBRI, Universite Bordeaux)
Igor Potapov (University of Liverpool)
Amaury Pouly (IRIF/CNRS - Université Paris Diderot)
Jurriaan Rot (Radboud University)
Martina Seidl (Johannes Kepler University Linz)
Mahsa Shirmohammadi (CNRS)
Ana Sokolova (University of Salzburg) - chair
Maximilian Weininger (Institute of Science and Technology Austria)
Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg)
James Worrell (University of Oxford)
Dmitry Zaitsev (The University of Derby, UK)
Florian Zuleger (Technische Universität Wien)

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.