Animation and exchanges in the Petri Nets community

[address@concealed]

Call for Papers – RP 2026: 20th International Conference on Reachability Problems

21–23 October 2026 | Turku, Finland https://math.utu.fi/rp26/

The 20th International Conference on Reachability Problems (RP 2026) will take place at the University of Turku, Finland, from 21 to 23 October 2026.

*** Regular paper submission deadline: 21 June 2026 ***  https://easychair.org/conferences/?conf=rp26

RP is a well-established international forum bringing together researchers interested in reachability problems across theoretical computer science, logic, algorithms, and verification.

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

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 (AoE):
• Regular paper submission deadline: 21 June 2026
• Notification of acceptance: 3 August 2026
• Presentation-only abstract deadline: 26 July 2026
• Notification of acceptance: 3 August 2026

Submission types:
- Regular research papers (up to 12 pages, Springer LNCS format, unpublished original work)
- Presentation-only contributions (short abstracts on recent, ongoing, or unpublished work)

Accepted regular papers will appear in the Springer LNCS proceedings of RP 2026.

Conference website:
https://math.utu.fi/rp26/

Submission portal:
https://easychair.org/conferences/?conf=rp26

Submission instructions:
https://math.utu.fi/rp26/submissions/

We encourage researchers working on reachability, verification, logic, automata, formal methods, and related areas to submit their work.

RP26 is pleased to announce a Best Paper Award, with a prize of EUR 500.