----------------------------------------------------- First CALL FOR PAPERS
FMOODS 2006
8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy, 14 - 16 June, 2006
http://www.discotec06.cs.unibo.it/FMOODS06
The 8th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) is part of the federated conferences DisCoTec (Distributed Computing Techniques), together with the 8th International Conference on Coordination Models and Languages (COORDINATION) and the 6th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). It will be organised by the Department of Computer Science of the University of Bologna.
OBJECTIVES AND SCOPE:
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 - Multiple viewpoint modelling and consistency between different views - Model transformations and refactorings - Software architectures - Integration of quality of service requirements into formal models - Component-based design - Applications (e.g. web services, multimedia, telecommunications) - Experience report on best practices and tools
ORGANISERS:
General chair: Gianluigi Zavattaro (U. of Bologna, IT)
PC chairs: Roberto Gorrieri (U. of Bologna, IT) Heike Wehrheim (U. of Paderborn, DE)
Publicity Chair: Martin Steffen (CAU Kiel, DE)
Steering Committee: John Derrick (U. of Sheffield, UK) Roberto Gorrieri (U. of Bologna, IT) Elie Najm (ENST, Paris, FR)
Program Committee: Lynne Blair (U. of Lancaster, UK) Eerke Boiten (U. of Kent, UK) Nadia Busi (U. of Bologna, IT) John Derrick (U. of Sheffield, UK) Alessandro Fantechi (U. of Firenze, IT) Colin Fidge (U. of Queensland, AUS) Robert France (Colorado State U., USA) Roberto Gorrieri (U. of Bologna, IT) Reiko Heckel (U. of Leicester, UK) Einar Broch Johnsen (U. of Oslo, N) Doug Lea (State U. of New York, USA) Elie Najm (ENST Paris, FR) Uwe Nestmann (TU Berlin, D) Erik Poll (U. of Nijmegen, NL) Arend Rensink (U. of Twente, NL) Ralf Reussner (U. of Oldenburg, D) Bernhard Rumpe (TU Braunschweig, D) Martin Steffen (CAU Kiel, D) Carolyn Talcott (SRI International, USA) Andrzej Tarlecki (Warsaw University, PL) Vasco Vasconcelos (U. of Lisbon, P) Heike Wehrheim (U. of Paderborn, D) Elena Zucca (U. of Genova, IT)
IMPORTANT DATES:
10. January 2006: Abstract submission 17. January 2006: Paper submission 7. March 2006: Author notification 28. March 2006: Camera-ready copy 14. - 16. June 2006: FMOODS 2006
SUBMISSION GUIDELINES:
The FMOODS 2006 conference solicits high quality papers reporting research results and/or experience reports related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. Submission will be electronically as postscript or PDF, using the SPRINGER LNCS style. Papers should not exceed 15 pages in length. Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer Verlag in the LNCS series. Proceedings will be made available at the conference.