El evento tuvo lugar en la sede de IMDEA Software y reunió a los integrantes del proyecto REDIMadrid para debatir el estado de la red y sus retos futuros
Investigadores de IMDEA Software participaron este septiembre en las conferencias internacionales ICLP, LOPSTR y PPDP en Italia, donde presentaron sus avances en programación lógica, verificación formal y enseñanza de Prolog
