[Apologies for multiple copies.] 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) -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
