The 20th International Conference on Reachability Problems (RP'26) will be organized by  Department of Mathematics and Statistics, University of Turku, Finland. The conference will take place from 21 to 23 October, 2026. 

Invited Speakers

• Laura Kovacs  (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: June 21
• Submission deadline for presentation-only abstracts: July 26   
• Notification of acceptance: August 3

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

Topics of interest include (but are not limited to): , 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.

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/.

Program Committee

• Mohamed Faouzi Atig (Uppsala University, Sweden)
• Paul Bell (Liverpool John Moores University, UK)
• Michaël Cadilhac (DePaul University, USA)
• Moses Ganardi (MPI-SWS, Germany)
• Vesa Halava (University of Turku, Finland) co-chair
• 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 Oxford, UK)
• Ville Salo (University of Turku, Finland)
• Ana Sokolova (University of Salzburg, Austria)
• Sarah Winter (IRIF, France)

Organization Committee

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

More information will be available at: https://math.utu.fi/rp26/

For questions please contact: rp26@utu.fi.