---------------------------------------------------------------------
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: 8 January 2008
Paper submission: 15 January 2008
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:
8 January 2008: Abstract submission
15 January 2008: Paper submission
7 March 2008: Author notification
26 March 2008: Camera-ready copy
4-6 June 2008: FMOODS 2007
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.
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
No comments:
Post a Comment