Los días 1, 2 y 3 de octubre de 2025, el instituto IMDEA Software fue sede de la 19th International Conference on Reachability Problems (RP’25). Este congreso reunió a investigadores y expertos internacionales para debatir los últimos avances y desafíos en el estudio de los denominados en inglés “reachability problems” en diversos modelos computacionales y sistemas.
Durante los tres días de congreso, se presentaron ideas entorno a temas como teoría de autómatas, verificación de sistemas, lógica y model checking, estructuras algebraicas, teoría de juegos computacionales y sistemas híbridos.
El evento también contó con charlas invitadas, donde se expusieron diversos punto de vista sobre las tendencias emergentes y las nuevas fronteras en dicha área. Entre los ponentes invitados contamos con:
• Albert Atserias (Universitat Politècnica de Catalunya, España): Local-vs-Global Consistency of Annotated Relations
• Alastair F. Donaldson (Imperial College London, Reino Unido): When You Have a Fuzzer, Everything Looks Like a Reachability Problem
• Zak Kincaid (Princeton University, EE. UU.): Reachability Problems and Program Analysis
• Anthony W. Lin (University of Kaiserslautern, Alemania): The Role of Logic and Automata in Understanding Transformers
• Mickael Randour (Université de Mons, Bélgica): Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
Para cerrar la última jornada, la investigadora de IMDEA Software, Niki Vazou impartió un tutorial práctico sobre Liquid Haskell y el uso de tipos de refinamiento para la verificación de programas.
Durante la cena de clausura se entregó el reconocimiento al “Best Paper Award” a Joel D. Day y Matthew Konefal por su trabajo “World Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems”.
Desde IMDEA Software queremos agradecer a todas las personas que participaron y organizaron este evento. Esperamos veros pronto en la próxima edición.
