RP 2026: Reachability Problems, Turku, Finland - submission deadline: 21 June 2026

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.

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************