Horaires
09:00 AM-06:00 PM (expected)
Frais d'entrée
Check Official Website
Participation estimée
Delegates
Type d'événement
Conference
Description
La Conférence Internationale sur les Méthodes de l'Ingénierie Formelle 2024 (ICFEM 2024) est un événement prestigieux conçu pour rassembler des spécialistes dans les domaines des méthodes formelles et de l'ingénierie logicielle. Cette conférence sert de plateforme pour propulser les avancées dans le domaine, offrant aux auteurs l'opportunité de soumettre des articles techniques sur divers sujets, y compris la prévention des défauts, le test et les systèmes d'intelligence artificielle.
Les participants auront l'occasion d'assister à des discours captivants prononcés par des professeurs éminents, qui aborderont des sujets tels que les fonctionnalités d'autonomie et la génération d'invariants dans le domaine de la vérification de programme. Rejoignez-nous à l'ICFEM 2024 et contribuez à façonner l'avenir de l'ingénierie logicielle et des méthodes formelles.