logo publicité Visiter le site national
retour à l'accueil plan du site Contacter le groupe régional administration du site
GROUPE D’EXPERTS QUALITE CNAM 292 rue Saint-Martin 75003 PARIS tél : 01 42 72 64 40 Fax : 01 42 78 26 43
Vous êtes ici : Actualité > 5th International Symposium on Formal Methods for Objects and Components
Actualité
Pour vous, l’actu. QSE
CNAM : références
Colloques & Conférences
Des côtés sympa !
École Vaucanson
Humour
Re-Coins et bricolages !
Soucis et attentes

Charte GEQseC
Le GEQC se définit sous tous ses aspects...
Remerciements
Attente et besoin QSE
Comité de direction
Découvrez nos experts
Offres d’emplois
Séminaires QSE CNAM

Projets
Tous nos projets par domaines ...
Aide à projet qualité
Aide à tous
Biologie
CNRS : PLUME
Energie
Maîtrise des risques
Management
Mardis de l’innovation
MDE - Ing.. De Modèle
Nations Unies : FAO
Process et Mgt. MA
Prospective, les bases
Santé ... Environnement
Sécurité
Sécurité Informatique
Transition énergétique en Bretagne
Week End Rando Visite

Publications
Tous les écrits du GEQC, classés par thèmes. La référence.
Colloques
Ouvrages et publications

Nos référents
Progression scientifique
Direction de Recherhe et HDR CNAM
Laurence Berlie
Anne Labarre
R. Chevance
F. Dieng Diop
J. Foos
M. Godet
A. LeBeau
F. Meunier
H. Mitonneau
T. de Montbrial
L. Bloch
Y. Pesqueux
C. Pinet
J. Printz
A. Rémondière
Anne Marchais-Roubelat
JJ. Salomon
J.L. Thomas
Gilles Teneau
Réflexion et philosophie
HDR et Thèses
Accès aux standards

5th International Symposium on Formal Methods for Objects and Components
mardi 21 mars 2006


FMCO 2006 7 - 10 November 2006 CWI, Amsterdam, The Netherlands http://fmco.liacs.nl/fmco06.html

The FMCO symposium is an annual international event on the application and development of formal methods in software engineering, with a special focus on component-based and object-oriented software systems. We invite submissions of tutorial papers on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include :
- models and logics for object-oriented and component-based systems ;
- formal aspects of analysis of large systems ;
- prediction, analysis and monitoring of extra-functional properties ;
- applications of modal logics, temporal logics and model checking for the specification and verification of object-oriented languages ;
- type systems and type theory for objects and components ;
- probabilistic systems, process calculi, and semantics of object and component oriented languages ;
- reasoning about security, trustworthiness and dependability of component-based systems.

IMPRIMER L'ARTICLE
IMPRIMER
5th International Symposium on Formal Methods for Objects and Components

Dans la même rubrique :
ISoLA 2007 : ENSMA, Poitiers-Futuroscope
Premier forum européen pour maîtriser les risques du bruit au travail
Second Workshop on Dependable and Secure Nanocomputing
La certification, une fin en soi ?
CfP ISSRE 2006 - Raleigh (Research Triangle), North Carolina, USA
Port Autonome de Marseille, P.A.M., 9 mai 2007 de 9H00 à 17H30
Privacy-Enhancing Technologies for the Internet
The International Conference on Dependable Systems and Networks
European Dependable Computing Conference
Lipsor <- GEQseC ; école dotorale

Sur le web :
Le CIDJ s’associe au Cnam pour promouvoir la validation des acquis de l’expérience auprès des informateurs jeunesse d'Ile de France.
L’Enass et l’IFPASS honorent leurs diplômés.
La Caisse des dépôts et le Cnam signent une convention de partenariat.
Inscriptions au Cnam: les centres ouvrent leurs portes à partir du 1er septembre
Gilles Garel, professeur du Conservatoire national des arts et métiers, titulaire de la Chaire de gestion de l’innovation
Le Cnam et l’Ecole nationale des professions de l’automobile (GARAC) ont diplômé la première promotion d’ingénieurs en Maintenance de véhicules.
Safran signe une convention de partenariat avec le Cnam
Jean-Louis Missika, professeur titulaire de la chaire d’économie et gestion des industries numériques et des nouveaux médias


Proposer un article | Nous contacter | Plan du site | Admin | Accueil
Union des Ingénieurs CNAM Association reconnue d'utilité publique (loi de 1901) Ce site est réalisé grâce au système de publication SPIP