[TYPES/announce] FMOODS/FORTE'09: 1st Call for Papers

[Martin Steffen]

			   CALL FOR PAPERS

IFIP International Conference on Formal Techniques for Distributed Systems
as joint international conference of FMOODS/FORTE

(11th Formal Methods for Open Object-Based Distributed Systems and 29th
Formal Techniques for Networked and Distributed Systems) 

		Lisbon, Portugal, June 9-11, 2009

         http://discotec09.di.fc.ul.pt/index.php?title=FMOODS_FORTE/CFP

The IFIP International Conference on Formal Techniques for Distributed
Systems is formed jointly from the two conference series FMOODS and
FORTE. It is part of the federated conference event DisCoTec (Distributed
Computing Techniques) which also includes the 11th International Conference
on Coordination Models and Languages (COORDINATION) and the 9th IFIP
International Conference on Distributed Applications and Interoperable
Systems (DAIS). The event will be hosted by the Faculty of Sciences of the
University of Lisbon.

-------------------------------------------------------------------------------------------------------
Important dates

    * Abstract submission: 28 January 2009
    * Paper submission: 1 February 2009
    * Author notification: 16 March 2009
    * Camera-ready copy: 1 April 2009 

-------------------------------------------------------------------------------------------------------
Objectives and Scope

The joined conference FMOODS/FORTE is a forum for fundamental research on
theory and applications of distributed systems. The conference solicits
original contributions that advance the science and technologies for
distributed systems, in particular in the areas of:

    * Component- and model-based design
    * Service-oriented, ubiquitous, pervasive, grid and mobile computing
    * Software quality, reliability and security 

The conference encourages contributions that combine theory and practice,
address problems from the development of distributed systems, and present
novel solutions with formal methods and theoretical foundations.

FMOODS/FORTE covers distributed computing models and formal specification,
testing and verification methods. The application domains include all kinds
of application-level distributed systems, telecommunication services,
Internet, embedded and real time systems, as well as networking and
communication security and reliability.

-------------------------------------------------------------------------------------------------------
Topics of interest include but are not limited to:

    * Languages and Semantic Foundations: new modeling and language
      concepts for distribution and concurrency, semantics for different
      types of languages, including programming languages, modeling
      languages, and domain specific languages; real-time and probability
      aspects; type systems and behavioral typing  

    * Formal Methods and Techniques: design, specification, analysis,
      verification, validation and testing of various types of distributed
      systems including communications and network protocols,
      service-oriented systems, and adaptive distributed systems  

    * Applications of Formal Methods: applying the existing methods and
      techniques to distributed systems, particularly web services,
      multimedia systems, and telecommunications  

    * Practical Experience with Formal Methods: industrial applications,
      case studies and software tools for applying formal methods and
      description techniques to the development and analysis of real
      distributed systems  

-------------------------------------------------------------------------------------------------------
Proceedings and Submission guidelines

The FMOODS/FORTE 2009 conference calls for high quality papers presenting
research results and/or application reports related to the topics in
conference scope as described above. All papers must be original,
unpublished, and not submitted for publication elsewhere. Contributions
should be submitted electronically in PDF, using the SPRINGER LNCS
style. Papers should not exceed 15 pages in length. Each paper will undergo
a peer review of at least 3 anonymous reviewers. 

The conference proceedings will be published by Springer Verlag in the LNCS
series. Proceedings will be made available at the conference. In addition,
the journal Higher Order and Symbolic Computation will publish a special
issue consisting of extended versions of the top ranking papers from
FMOODS/FORTE 2009