[TYPES] FMOODS 06: 1st Call for Papers

Martin Steffen ms at informatik.uni-kiel.de
Thu Oct 27 03:20:08 EDT 2005

                 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


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.


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


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) 


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


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. 

More information about the Types-list mailing list