The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.
Contexte
E-mail recu.
Traduction
Le but de la conférence est rapprocher des praticiens et des chercheurs des mondes universitaire,
de l'industrie et du gouvernement pour avancer sur l'état de l'art des méthodes formelles,
accroître leur application dans l'industrie du logiciel
et encourager leur intégration avec les méthodes d'ingéniérie pratiques/concrètes.