Union des Ingénieurs du Conservatoire national des arts et métiers

GROUPE D’EXPERTS QUALITE CNAM
292 rue Saint-Martin
75003 PARIS

tÚl : 01 42 72 64 40
Fax : 01 42 78 26 43
Courriel:


Retour au format normal


5th International Symposium on Formal Methods for Objects and Components

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.