--------------------------------------------------------------------- CALL FOR PAPERS FMOODS 2008 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems Oslo, Norway 4 - 6 June 2008 --------------------------------------------------------------------- Abstract submission: 15 January 2008 (extended) Paper submission: 22 January 2008 (extended) Author notification: 7 March 2008 Camera-ready copy: 26 March 2008 --------------------------------------------------------------------- http://discotec08.ifi.uio.no/FMOODS08/ --------------------------------------------------------------------- The 10th 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 10th International Conference on Coordination Models and Languages (COORDINATION) and the 8th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). It will be organised by the Department of Computer Science of the University of Oslo, Norway. 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 - 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 INVITED SPEAKER: Andrew Myers, Cornell University, USA ORGANISERS: General chair: Frank Eliassen, University of Oslo, Norway Einar Broch Johnsen, University of Oslo, Norway PC chairs: Gilles Barthe, INRIA Sophia Antipolis Méditerranée , France Frank de Boer, CWI, The Netherlands Publicity Chair: Marcello Bonsangue, University of Leiden, The Netherlands Steering Committee: Marcello Bonsangue, University of Leiden, The Netherlands Einar Broch Johnsen, University of Oslo, Norway John Derrick, University of Sheffield, United Kingdom Roberto Gorrieri, University of Bologna, Italy Elie Najm, ENST, France Martin Steffen, University of Oslo, Norway Carolyn Talcott, SRI International, USA Heike Wehrheim, University of Paderborn, Germany Gianluigi Zavattaro, University of Bologna, Italy Program Committee : Bernhard K. Aichernig, Technical University of Graz, Austria Marcello Bonsangue, University of Leiden, The Netherlands Paulo Borba, Federal University of Pernambuco, Brazil Einar Broch Johnsen, University of Oslo, Norway Dave Clarke, CWI, The Netherlands John Derrick, University of Sheffield, United Kingdom Sophia Drossopoulou, Imperial College London, United Kingdom Seif Haridi, SICS/KTH, Sweden Reiner Haehnle, Chalmers University of Technology, Sweden John Hatcliff, Kansas State University, USA Peter Gorm Larsen, Engineering College of Aarhus, Denmark Antonia Lopes, University of Lisbon, Portugal Peter Mueller, ETH/Microsoft, USA Elie Najm, ENST, Paris, France David Naumann, Stevens Institute of Technology, USA Uwe Nestmann, Technical University of Berlin, Germany Frank Piessens, Katholieke Universiteit Leuven, Belgium Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany Antonio Ravara, Technical University Lisbon, Portugal Arend Rensink, University of Twente, The Netherlands Grigore Rosu, University of Illinois at Urbana-Champaign, USA Martin Steffen, University of Oslo, Norway Carolyn Talcott, SRI International, USA Heike Wehrheim, University of Paderborn, Germany Elena Zucca, University of Genova, Italy IMPORTANT DATES: 15 January 2008: Abstract submission (extended) 22 January 2008: Paper submission (extended) 7 March 2008: Author notification 26 March 2008: Camera-ready copy 4-6 June 2008: FMOODS 2008 SUBMISSION GUIDELINES: The FMOODS 2008 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. Contributions should be submitted 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.