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).
The deputy director of IMDEA Software, Antonio Fernández, and researcher Gibran Gómez took part on Friday the 26th in the event organized at the Residencia de Estudiantes in Madrid