Rechercher

ICFEM 2015 - The 17th International Conference on Formal Engineering Methods

Lieu: Cnam
Date et Heure de début: 03-11-2015 8h
Date et Heure de fin: 07-11-2015
Description:

Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2015 is organised and sponsored by Paris-Sud University and CNAM Paris.

Site Web: http://icfem2015.lri.fr
Organise: CPR
Contact: Tristan Crolard
tristan.crolardcnam.fr