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
