[TYPES] FMOODS 06: 2nd Call for Papers
Martin Steffen
ms at informatik.uni-kiel.de
Fri Dec 16 11:10:22 EST 2005
2nd 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
In conjunction with
DAIS 2006 and Coordination 2006
http://www.discotec06.cs.unibo.it/
******************** New ********************************
o abstract and paper submission now open!
o Invited speakers now ready:
- Jan Bosch, Software and Application Technologies Lab.
Nokia Research Center
- José Luiz Fiadeiro, Department of Computer Science
University of Leicester
- Chris Hankin, Department of Computing
Imperial College
o 3 pre-conference workshops scheduled:
- 2nd International Workshop on Methods and Tools for
Coordinating Concurrent, Distributed and Mobile Systems
(MTCoord'06).
- Security, Privacy, and Trust in Web Services.
- 2nd International Workshop on Coordination and
Organization (CoOrg'06).
****************************************************************
IMPORTANT DATES:
10. January 2006: Abstract submission
17. January 2006: Paper submission
7. March 2006: Author notification
28. March 2006: Camera-ready copy
13. June 2006: pre-conference workshops
14. - 16. June 2006: FMOODS 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.
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. 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)
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.
More information about the Types-list
mailing list