Ajouter un attachement

Seuls les utilisateurs autorisés peuvent publier de nouveaux attachements.

Cette page (révision-1) a été modifiée pour la dernière fois le 17-sept.-2012 10:26 par mery

Seuls les utilisateurs autorisés ont le droit de renommer des pages.

Seuls les utilisateurs authentifiés ont le droit de supprimer des pages.

Différences entre les versions et

En ligne 1, ajout de 7 lignes
!! The Formal Methods Symposium in Paris at CNAM August 27-31 2012
[FM 2012|http://fm2012.cnam.fr] is the eighteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users as well as researchers. will be held at the Conservatoire National des Arts et Métiers (Le Cnam) in the center of Paris with the support of the Cnam Computer Science Department and the MeFoSyLoMa group (Méthodes Formelles pour les Systèmes Logiciels et Matériels). Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.
Version Date de modification Taille Auteur Modifications... Modifier la note
1 17-sept.-2012 10:26 0,991 ko mery
« Cette page (révision-1) a été modifiée pour la dernière fois le 17-sept.-2012 10:26 par mery