La 23ra conferencia internacional en Software Engineering and Formal Methods, se celebrará entre el 10 y el 14 de noviembre en Toledo, España. Esta conferecia contará con Manuel Nuñez como General Chair y a Elena Gómez como PC Chair, ambos miembros del proyecto DESAFíO-CM.

Esta conferencia pretende acercar al investigadores del mundo académico, industrial y las administraciones del estado para avanzar en el estado del arte de métodos formales. Incluirá temas como: Software Development Methods, Design Principles y Software Testing, Validation and Verification. Además, incluirá distintos workshops. En estos momentos, podemos confirmar:

• DataMod 2025
• CIFMA 2025
• ReacTS 2025

Podrá encontrar mas información en la página web: SEFM 2025

En la 17ª conferencia asiática sobre Intelligent Information and Database Systems, ACIIDS, que se celebró del 23 al 25 de abril en Kitakyushu, Japón, se presentó la sesión especial Application of Evolutionary Computation and Machine Learning to Testing, organizada por Manuel Méndez y Manuel Nuñez, ambos miembros del proyecto DESAFíO-CM.

Esta sesión especial promueve el desarrollo y uso de estos enfoques en el contexto de ACIIDS. Los sistemas de software son cada vez más complejos, lo que dificulta su validación. Las pruebas son clave para garantizar su calidad, por lo que se busca mejorarlas mediante automatización y nuevas técnicas como la computación evolutiva y el aprendizaje automático. Varios de los temas de interés para esta sesión fueron:

• Técnicas evolutivas en pruebas de software.

• Uso del aprendizaje automático para mejorar las metodologías de prueba.

• Análisis de riesgos en sistemas complejos usando computación evolutiva y aprendizaje automático.

Podrá encontrar mas información en la página web: EvoMLTest 2025