The 20th International Conference on Reachability Problems (RP'2026) is being organised by the University of Turku, Finland. The conference will take place from 21 to 23 October 2026.

Webpage: https://math.utu.fi/rp26/
Submission link https://easychair.org/conferences/?conf=rp26

Invited Speakers:
Laura Kovács (Vienna University of Technology, Austria)
Antti Kuusisto (Tampere University, Finland)
Igor Potapov (University of Liverpool, UK)
Ilkka Törmä (University of Turku, Finland)
James Worrell (University of Oxford, UK)

Important Dates:
• Submission deadline for regular research papers: 21 June
• Notification of acceptance: 3 August

• Submission deadline for presentation-only abstracts: 26 July
• Notification of acceptance: 3 August
[All dates are AoE.]


Scope of the conference: RP 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 systems
• Logic and model checking
• Verification of finite and infinite-state systems

Submission and publication: There are two types of submissions:
- regular research papers and
- presentation-only contributions.

*Regular research papers* should be unpublished and contain original research. They should not exceed 12 pages (excluding references and appendices) and be prepared using the Springer LNCS guidelines. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Accepted regular research papers will be published in the Springer LNCS proceedings of RP'26.

*Presentation-only contributions* require a short abstract, and should have a clear relevance with the scope of the conference. We invite abstracts on recent or upcoming conference papers, or unpublished work. Neither the paper nor the abstract will be published in the proceedings.

For instructions on how to submit, see https://math.utu.fi/rp26/submissions/
Submission link https://easychair.org/conferences/?conf=rp26

!! Program Committee:

Mohamed Faouzi Atig (Uppsala University, Sweden)
Paul Bell (Liverpool John Moores University, UK)
Michaël Cadilhac (DePaul University, USA)
Enrico Formenti (Université Côte d’Azur, France)
Anahi Gajardo (Universidad de Concepción, Chile)
Moses Ganardi (MPI-SWS, Germany)
Vesa Halava (University of Turku, Finland) co-chair
Mika Hirvensalo (University of Turku, Finland)
Piotr Hofman (University of Warsaw, Poland)
Lukáš Holik (Brno University of Technology, CZ)
Raphaël Jungers (UCLouvain, Belgium)
Jarkko Kari (University of Turku, Finland) co-chair
Sandra Kiefer (University of Oxford, UK)
Joshua Moerman (Open Universiteit, Netherlands)
Reino Niskanen (Liverpool John Moores University, UK)
Andrew Ryzhikov (University of Warsaw, Poland)
Ville Salo (University of Turku, Finland)
Sylvain Sené (Aix-Marseille Université, CNRS, France)
Ana Sokolova (University of Salzburg, Austria)
Matthias Wendlandt (JLU Giessen, Germany)
Sarah Winter (IRIF, France)

!! Organization Committee:

Vesa Halava (co-chair)
Jarkko Kari (co-chair)
Risto Huovinen
Katariina Paturi
Antti Tuominen
Arto Lepistö


!! Steering Committe:

* - Parosh Aziz Abdulla (SE)
* - Olivier Bournez (FR)
* - Patricia Bouyer-Decitre (FR)
* - Vesa Halava (FI)
* - Alain Finkel (FR)
* - Juhani Karhumaki (FI)
* - Jérôme Leroux (FR)
* - Joël Ouaknine (DE)
* - Igor Potapov (UK)
* - James Worrell (UK)


!! Previous Events:

* 2025: RP'25 in Madrid, Spain
-) LNCS proceedings volume 16230/2025, Springer Verlag
* 2024: RP'24 in Vienna, Austria
-) LNCS proceedings volume 15050/2024, Springer Verlag
* 2023: RP'23 in Nice, France
-) LNCS proceedings volume 14235/2023, Springer Verlag
* 2022: RP'22 in Kaiserlautern, DE
-) LNCS proceedings volume 13608/2022, Springer Verlag
* 2021: RP'21 in Liverpool, UK
-) LNCS proceedings volume 13035/2021, Springer Verlag
* 2020: RP'20 in Paris, France
-) LNCS proceedings volume 12448/2020, Springer Verlag
* 2019: RP'19 in Brussels, Belgium
-) LNCS proceedings volume 11674/2019, Springer Verlag
* 2018: RP'18 in Marseille, France,
-) LNCS proceedings volume 11123/2018, Springer Verlag
* 2017: RP'17 in London, UK,
-) LNCS proceedings volume 10506/2017, Springer Verlag
* 2016: RP'16 in Aalborg, Denmark,
-) LNCS proceedings volume 9328/2016, Springer Verlag
* 2015: RP'15 in Warsaw, Poland
-) LNCS proceedings, Volume 9328/2015, Springer Verlag
* 2014: RP'14 in Oxford, UK
-) LNCS proceedings, Volume 8762/2014, Springer Verlag
* 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, TUCS,
-) Turku Centre for Computer Science