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 -
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
*Program Committee:*
|- Mohamed Faouzi Atig (Uppsala University, Sweden) - Laura Bozzelli
(University of Napoli "Federico II", Italy) - Michaël Cadilhac (DePaul
University, USA) - Dmitry Chistikov (University of Warwick, UK) - Rayna
Dimitrova (CISPA Helmholtz Center for Information Security, Germany) -
Kyveli Doveri (University of Warsaw, Poland) - Cezara Drăgoi (AWS,
France) - Hadar Frenkel (Bar Ilan University, Israel) - Moses Ganardi
(MPI-SWS, Germany) - Pierre Ganty (IMDEA Software Institute, Spain)
co-chair - Piotrek Hofman (University of Warsaw, Poland) - Lukáš Holík
(Aalborg University, Denmark & Brno University of Technology, CZ) -
George Kenison (Liverpool John Moores University, UK) - Sandra Kiefer
(University of Oxford, UK) - Rupak Majumdar (MPI for Software Systems,
Germany) - Kaushik Mallik (IMDEA Software Institute, Spain) - Alessio
Mansutti (IMDEA Software Institute, Spain) co-chair - Joshua Moerman
(Open Universiteit, Netherlands) - Guillermo Perez (University of
Antwerp, Belgium) - Igor Potapov (University of Liverpool, UK) -
Gabriele Puppis (University of Udine, Italy) - Andrew Ryzhikov
(University of Warsaw, Poland) - Mahsa Shirmohammadi (CNRS & IRIF,
France) - Mikhail Starchak (St. Petersburg University, Russia) - Andrea
Turrini (Institute of Software, Chinese Academy of Sciences, China) -
Chana Weil-Kennedy (CEA List, France) - Sarah Winkler (Free University
of Bozen-Bolzano, Italy) - Sarah Winter (IRIF, France) - Martin
Zimmerman (Aalborg University, Denmark)|
**********************************************************
*
* 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/
*
**********************************************************