DESArrollo Formal de sistemas y servicios beneficiosos para la sOciedad TEC-2024/COM-235
13/04/2026
La 13ra conferencia internacional en Dependable Systems and Their Applications, se celebrará entre el 28 y el 29 de noviembre en Xiamen, China. Esta conferecia contará con Manuel Nuñez, miembro del proyecto DESAFíO-CM, como PC Chair.
El objetivo de esta conferencia es reunir a investigadores, profesionales y académicos para intercambiar avances y experiencias en el diseño, análisis y evaluación de sistemas confiables, abordando desafíos actuales en áreas como la ingeniería de software, la inteligencia artificial, la seguridad y los sistemas distribuidos, con el fin de mejorar la calidad, resiliencia y fiabilidad de las tecnologías modernas.
Podrá encontrar mas información en la página web: DSA 2026
13/04/2026
La 29.ª Conferencia Internacional en Fundamental Approaches to Software Engineering se celebra entre el 11 y el 16 de abril de 2026 en Turín, Italia. Esta conferecia cuenta con Elvira Albert, miembro del proyecto DESAFíO-CM, como PC Chair.
Esta conferencia es un foro internacional dentro de ETAPS 2026 dedicado a avanzar los fundamentos de la ingeniería del software. Su objetivo es reunir a investigadores y profesionales para presentar y discutir métodos, modelos y herramientas que permitan desarrollar software de forma más rigurosa, fiable y eficiente, combinando enfoques teóricos con aplicaciones prácticas. FASE abarca temas como la verificación y validación, arquitecturas modernas, evolución de sistemas y el uso de inteligencia artificial en el desarrollo de software, fomentando contribuciones innovadoras con una base sólida tanto formal como empírica.
Podrá encontrar mas información en la página web: FASE 2026
13/04/2026
La 17.ª Conferencia Internacional en Computational Collective Intelligence (ICCCI 2025) se celebró entre el 12 y el 15 de noviembre de 2025 en Ho Chi Minh City, Vietnam. Esta conferencia contó con Manuel Núñez, miembro del proyecto DESAFíO-CM, como PC Chair.
El propósito de esta conferencia es reunir a investigadores de diversos ámbitos con el objetivo de avanzar en el estado del arte en el campo de la inteligencia colectiva computacional. Se centra en el desarrollo de métodos y técnicas para la integración, procesamiento y análisis de información procedente de múltiples fuentes, así como en la toma de decisiones colaborativa en entornos complejos.
Podrá encontrar mas información en la página web: ICCCI 2025
11/05/2025
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:
Podrá encontrar mas información en la página web: SEFM 2025
05/05/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