Atlas home || Conferences | Abstracts | about Atlas
Host: University of Oslo
Sponsor: IFIP
Homepage: http://discotec08.ifi.uio.no/FMOODS08/HomePage
Organizers: Gilles Barthe, INRIA Sophia Antipolis Méditerranée , France Frank de Boer, CWI, The Netherlands
Deadline for abstracts: January 15, 2008
Description:
The goal of the FMOODS series of conferences is to bring together researchers and practitioners whose work encompasses three important and related fields:
- formal methods
- distributed systems,
- object-based technology.
Established in 1996, the FMOODS series of conferences aims to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems. The conference will especially welcome novel contributions reflecting recent developments in the area, in particular component- and model-based design, service-oriented computing and software quality. Areas of interest include but are not limited to:
- Semantics and implementation of object-oriented programming and (visual) modelling languages
- Formal techniques for specification, design, analysis, verification, validation and testing
- Model checking, theorem proving and deductive verification
- Type systems and behavioural typing
- Formal methods for service-oriented computing
- Formal techniques for security and trust in global computing
- Formalization of runtime system evolution (e.g. dynamic updates, reconfiguration)
- Multiple viewpoint modelling and consistency between different views
- Model transformations and refactorings
- Integration of quality of service requirements into formal models
- Formal approaches to component-based design
- Applications of formal methods (e.g. web services, multimedia, telecommunications)
- Experience reports on best practices and tools
Submitted by: Marcello Bonsangue
Date received: September 18, 2007
© 2008 Atlas Conferences Inc.