The 19th International Conference on Reachability Problems (RP'2025) is
being organized by the IMDEA Software Institute in /Madrid/, Spain. The
conference will take place from /1 to 3 October 2025/.
*Webpage:* https://rp25.software.imdea.org/
*Invited Speakers:*
|- Albert Atserias (Universitat Politècnica de Catalunya, Spain) -
Alastair F. Donaldson (Imperial College London, UK) - Zak Kincaid
(Princeton University, USA) - Anthony W. Lin (University of
Kaiserslautern, Germany) - Mickael Randour (Université de Mons, Belgium)|
*Important Dates:*
|- Submission deadline for regular research papers: |June 27|*Extended to July 4 * - Notification of acceptance: August 13 -
Submission deadline for presentation-only abstracts: August 1 -
Notification of acceptance: August 13|
/[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'25.
*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://rp25.software.imdea.org/submission.html
**********************************************************
*
* 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/
*
**********************************************************
Posts
