Sinhué García acaba de ser confirmado como Gestor I+D del Programa DESAFíO-CM. ¡Bienvenido!

Manuel Méndez y Manuel Nuñez, ambos miembros del proyecto DESAFíO-CM, organizaron la sesión especial Application of Evolutionary Computation and Machine Learning to Testing dentro del marco de ACIIDS 2025, que se celebró del 23 al 25 de abril en Kitakyushu, Japón.

Miembros del proyecto de DESAFíO-CM, como Elena Gómez-Martínez (PC) y José Ignacio Requeno (Workshop Chair), organizarán la 23rd International Conference on Software Engineering and Formal Methods (SEFM'25) en Toledo. Más información: sefm-conference.github.io/2025/

Manuel Núñez, coordinador de DESAFíO-CM, ha sido keynote speaker en 11th International Conference on Engineering, Applied Sciences and Technology (ICEAST 2025)

El pasado lunes 26 de mayo se celebró una jornada de trabajo entre los grupos que forman parte del consorcio DESAFÍO-CM, con el objetivo de presentar las principales líneas de investigación de cada grupo y fomentar la colaboración interdisciplinar.

Hoy en la @URJC tuvo lugar una reunión del consorcio DESAFíO-CM entre los grupos de investigación COSTA y CommIT: una jornada para coordinar líneas de trabajo conjuntas en el seno del consorcio. ¡Gracias a todos por vuestra participación y compromiso!

Nuevo curso formativo en la URJC: "Introducción a la IA y las tecnologías para la optimización de procesos" (4h) Creado por Juan Manuel Vara y David Granada, miembros del consorcio DESAFíO-CM. Accede aquí: unlimitedlearning.urjc.es/info/introducc…

Oferta: Data Scientist en DESAFíO-CM. El grupo UPM-MIDAS busca incorporar un/a Data Scientist en el marco del consorcio DESAFíO-CM. Plazo hasta el 4 de agosto (12:00) Más información: euraxess.ec.europa.eu/jobs/363024 web.upm.es/hrs4r/es/hrs20…

🚨 Two critical soundness bugs found in ZisK using CIVER 🚨 In a collaboration with the ziskvm development team, the Costa group is applying formal methods to verify recursion/aggregation circuits of ZisK. 🔗More details here: costa.fdi.ucm.es/web/news/CIVER… 🧵

Oferta: Técnico-gestor en DESAFíO-CM. El consorcio DESAFíO-CM busca incorporar un/a Técnico-gestor para el proyecto. Fecha de publicación: 5 de septiembre de 2025. Fin de inscripción: 10 de septiembre de 2025, 14:00. Más información: euraxess.ec.europa.eu/jobs/363621