Call for Papers
- FMOODS & FORTE 2011

Call for Papers

CfP flyer in PDF format

CfP in plain text

FMOODS & FORTE 2011

IFIP International Conference on Formal Techniques for Distributed Systems

joint international conference:

13th Formal Methods for Open Object-Based Distributed Systems
31th Formal Techniques for Networked and Distributed Systems

part of the federated event DisCoTec'11 (Distributed Computing Techniques)

Reykjavik, Iceland, June 6-9, 2011

http://discotec.ru.is/fmoodsforte/main

Important dates

February 13, 2011: Abstract Submission (EXTENDED)
February 20, 2011: Paper Submission (EXTENDED)
March 20, 2011: Notification of Acceptance
April 3, 2011: Camera ready version
June 6-8, 2011: Conference

The joint 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, with special interest in the areas of:

component- and model-based design
object technology, modularity, software adaptation
service-oriented, ubiquitous, pervasive, grid, cloud and mobile computing systems
software quality, reliability and security

The conference encourages contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems. 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 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

Paper Submission

Please read carefully the following proceedings and submission guidelines.

The FMOODS & FORTE 2011 conference calls for high quality papers presenting research results and/or application reports related to the research areas in conference scope.

The conference proceedings will be published by Springer Verlag in the LNCS series. Proceedings will be made available at the conference.

All papers must be original, unpublished, and not submitted for publication elsewhere.

Contributions should be submitted electronically in PDF via the EasyChair system.

Each paper will undergo a peer review of at least 3 anonymous reviewers.

The papers must be prepared using the Springer LNCS style.

Papers must not exceed 15 pages in length, including figures and references. For referees' convenience, any additional material that may help assessing the merits of the submission but not to be included in the final version, like some detailed proofs, may be placed in a clearly marked appendix (not to be counted in the page limit). Referees are at liberty to ignore the appendix, and papers must be understandable without them.

Submissions not adhering to the above specified constraints may be rejected immediately, without review.