Call for Papers

Jump to: navigation, search

Contents

About the Conference

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
  • object technology, modularity, software adaptation
  • 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:

Topics of interest include but are not limited to:

  • Languages and Models: new language and modeling concepts for distribution and concurrency including object-oriented, aspect-oriented, reflection, and meta-programming technologies; integration of language and modeling paradigms
  • Semantic Foundations: semantics for different types of languages, including programming languages, modeling languages, and domain specific languages; real-time and probability aspects; type systems and behavioural 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. Advances in tool-based formal analyses such as static analysis, model checking, theorem proving, and deductive verification for realistic programming and modeling languages are especially encouraged.
  • 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

Invited Speaker and Special Celebration of FORTE History

Gerard Holzmann, Jet Propulsion Laboratory, USA

FORTE traces its heritage back to the Protocol Specification, Testing and Verification (PSTV) conference first held in 1981 at Teddington, UK. Since that first meeting, PSTV has evolved into FORTE, and this year's conference in Amsterdam is the 30th meeting in the conference series. To highlight this milestone, this year's DisCoTec plans to include a special celebration reflecting on the progress of the community since 1981 and challenges for the future.

In the first PSTV meeting in 1981, Gerard Holzman published a paper containing his early views of what would become the SPIN model checker. We are pleased to note that special work in the history of FORTE by featuring Dr. Holzmann as the keynote speaker of FORTE 2010 as part of this special celebration of FORTE's history.

Submission Guidelines

FMOODS & FORTE solicits high quality papers reporting research results and/or experience reports. 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. Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. Papers should not exceed 15 pages in length. Proceedings will be made available at the conference. Submission implies the acceptance that at least one author will attend the conference if the paper is accepted.

Important Dates

   Abstract submission: February 15, 2010 (Extended)
   Paper submission: February 19, 2010 (Extended)
   Author notification: March 19, 2010
   Camera-ready version: April 2, 2010
   Conferences: June 7-9, 2010
   Co-located events: June 10, 2010

Committees

DisCoTec General Chair

PC Chairs

Publicity Chairs

Steering Committee

Program Committee

DisCoTec2010
COORDINATION
Personal tools