Horarios
09:00 AM-06:00 PM (expected)
Tarifas de Entrada
Check Official Website
Participación estimada
Delegates
Tipo de evento
Conference
Descripción
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.