Events

La Conferencia Internacional sobre Métodos de Ingeniería Formal 2024 (ICFEM 2024) es un evento prestigioso diseñado para unir a especialistas en los ámbitos de los métodos formales y la ingeniería de software. Esta conferencia sirve como una plataforma para impulsar avances dentro del campo, ofreciendo a los autores la oportunidad de enviar artículos técnicos sobre diversos temas, incluidos la prevención de fallos, las pruebas y los sistemas de inteligencia artificial.

Los asistentes tendrán la oportunidad de participar en discursos destacados a cargo de eminentes profesores, quienes profundizarán en temas como las funciones de autonomía y la generación de invariantes en el dominio de la verificación de programas. Únase a nosotros en el ICFEM 2024 y contribuya a dar forma al futuro de la ingeniería de software y los métodos formales.