[DMANET] 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 * * DMANET@zpr.uni-koeln.de * * 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/ * **********************************************************