From Discotec09
Jump to: navigation, search

Distributed Computing Techniques 2009
9-12 June, 2009
Lisbon, Portugal



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)
The event is organised by the Instituto de Telecomunicações

Lisbon, Portugal, 9-11 June, 2009

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.

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 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
  • 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

Jayadev Misra, Univ. of Texas at Austin, USA

"Structured Application Development over Wide-Area Networks"

FMOODS/FORTE '09 Organisation

PC Chairs

Program Committee

Steering Committee

Important dates

  • Abstract submission: 10 February 2009, 23:59 Samoa time (= UTC-11)
  • Paper submission: 13 February 2009, 23:59 Samoa time
  • Author notification: 20 March 2009
  • Camera-ready copy: 1 April 2009

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 form at the submission site, 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 Lecture Notes in Computer Science (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.

Personal tools