The event took place at the IMDEA Software institute and brought together members of the REDIMadrid project to discuss the current state of the network and its future challenges
Researchers from IMDEA Software participated this September in the international conferences ICLP, LOPSTR, and PPDP in Italy, where they presented their advances in logic programming, formal verification, and Prolog education
From October 1 to 3, the IMDEA Software Institute was the venue chosen this year to host the 19th International Conference on Reachability Problems (RP’25).