[TYPES/announce] FMOODS 06: 1st Call for Papers

[Martin Steffen]

 ---------------------------------------------------------------------
                      First CALL FOR PAPERS

                            FMOODS 2007

               9th IFIP International Conference on
      Formal Methods for Open Object-Based Distributed Systems

                 Paphos, Cyprus 6 - 8 June 2007

 ---------------------------------------------------------------------
                Abstract submission: 8 January 2007 
                 Paper submission: 15 January 2007 
                 Author notification: 7 March 2007
                 Camera-ready copy: 26 March 2007
 ---------------------------------------------------------------------
                http://www.discotec07.cs.ucy.ac.cy
 ---------------------------------------------------------------------

The 9th 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 9th International Conference on Coordination Models and 
Languages (COORDINATION) and the 7th IFIP International Conference on 
Distributed Applications and Interoperable Systems (DAIS). FMOODS 2007 
is sponsored by IFIP, and will be organised by the Department of Computer 
Science of the University of Cyprus.


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

Mariangiola Dezani-Ciancaglini (U. of Torino, IT)


ORGANISERS:

General chair:
George Papadopoulos (U. of Cyprus, CY)

PC chairs:
Einar Broch Johnsen (U. of Oslo, NO)
Marcello Bonsangue (LIACS, NL)

Publicity Chair:
Martin Steffen (U. of Oslo, NO)

Steering Committee:
John Derrick (U. of Sheffield, UK)
Roberto Gorrieri (U. of Bologna, IT)
Elie Najm (ENST, Paris, FR)
Carolyn Talcott (SRI International, US) 


Program Committee 
Bernhard Aichernig (TU. of Graz, AT)
Alessandro Aldini (U. of Urbino, IT) 
Frank de Boer (CWI, NL)
Eerke Boiten (U. of Kent, UK) 
Marcello Bonsangue (LIACS, NL)
John Derrick (U. of Sheffield, UK) 
Einar Broch Johnsen (U. of Oslo, NO) 
Robert France (Colorado State U., US)
Naoki Kobayashi (Tohoku University, JP)
David Naumann (Stevens Inst. of Technology, US)
Uwe Nestmann (TU of Berlin, DE) 
Erik Poll (U. of Nijmegen, NL) 
Antonio Ravara (TU of Lisbon, PT)  
Arend Rensink (U. of Twente, NL)  
Ralf Reussner (U. of Karlsruhe, DE) 
Grigore Rosu (U. of Illinois at Urbana-Champaign, US) 
Bernhard Rumpe (TU Braunschweig, DE)  
Martin Steffen (U. of Oslo, NO)  
Carolyn Talcott (SRI International, US)  
Heike Wehrheim (U. of Paderborn, DE)
Martin Wirsing (U. of Munich DE) 
Wang Yi (Uppsala University, SE) 
Liu Zhiming (UNU/IIST, MO)
Gianluigi Zavattaro (U. of Bologna, IT) 
Elena Zucca (U. of Genova, IT) 


IMPORTANT DATES:

 8 January 2007: Abstract submission
15 January 2007: Paper submission
   7 March 2007: Author notification
  26 March 2007: Camera-ready copy

    5 June 2007: DisCoTec 2007 workshops
  6-8 June 2007: FMOODS 2007


PROCEEDINGS: 

The FMOODS 2007 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.