DESAFiO-CM (@desafiocm_25) 's Twitter Profile
DESAFiO-CM

@desafiocm_25

Programa DESAFíO-CM (TEC-2024/COM-235). Financiado por la Comunidad de Madrid en la convocatoria TECNOLOGÍAS 2024. antares.sip.ucm.es/desafio-cm

ID: 1905256748006383616

calendar_today27-03-2025 13:53:09

9 Tweet

12 Followers

20 Following

DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

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.

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.
DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

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/

DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

Manuel Núñez, coordinador de DESAFíO-CM, ha sido keynote speaker en 11th International Conference on Engineering, Applied Sciences and Technology (ICEAST 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)
DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

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.

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.
DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

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!

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!
DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

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…

DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

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…

The Costa Group (@thecostagroup) 's Twitter Profile Photo

🚨 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… 🧵

DESAFiO-CM (@desafiocm_25) 's Twitter Profile Photo

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