[ecoop-info] CFP - FMOODS/FORTE 2010

[Antonia Lopes]

                    F M O O D S  /  F O R T E    2 0 1 0

                              Call for Papers

              12th International Conference on Formal Methods
                 for Open Object-based Distributed Systems

                                   and

             30th International Conference on FORmal TEchniques
                  for Networked and Distributed Systems


                   Amsterdam, Netherlands, 07-09 June 2010

                       http://discotec.project.cwi.nl


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 12th
international conference on Coordination Models and Languages
(COORDINATION) and the 10th IFIP international conference on
Distributed Applications and Interoperable Systems (DAIS). This year,
the event is organised by the Centrum Wiskunde & Informatica (CWI).


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
* 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 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
=================

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 must 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 must not exceed 15 pages in length when
formatted in LNCS style. 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 08, 2010
Paper submission			February 12, 2010
Author notification  			March 19, 2010
Camera-ready version		April 02, 2010
Conference				June 07-09, 2010


Committees
==================

PC Chairs

John Hatcliff, Kansas State University, USA
Elena Zucca, Universita' di Genova, Ital


Program Committee

Gregor v. Bochmann, University of Ottawa, Canada
Paulo Borba, Federal University of Pernambuco, Brazil
Mario Bravetti, University of Bologna, Italy
Ana Cavalli, INT Evry, France
John Derrick, University of Sheffield, U.K.
Mariangiola Dezani, University of Torino, Italy
Juergen Dingel, Queens University, Kingston, Ontario
Dieter Hogrefe, University of Gottingen, Germany
Valerie Issarny, INRIA, France
Claude Jard, ENS Cachan - Bretagne, France
Einar Broch Johnsen, University of Oslo, Norway
Ferhat Khendek, Concordia University, Canada
David Lee, The Ohio State University, USA
Jay Ligatti, University of South Florida, USA
Luigi Logrippo, University of Quebec - Outaouais, Canada
Antonia Lopes, University of Lisbon, Portugal
Peter Mueller, ETH, Switzerland
Uwe Nestmann, Technical University of Berlin, Germany
Manuel Nunez, Complutense University of Madrid, Spain
Olaf Owe, University of Oslo, Norway
Alexandre Petrenko, CRIM Montreal, Canada
Frank Piessens, Katholieke Universiteit Leuven, Belgium
Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
Martin Steffen, University of Oslo, Norway
Ken Turner, University of Stirling, UK
Martin Wirsing, LMU Munich, Germany
Keiichi Yasumoto, Nara Institute of Science and Technology, Japan
Nabuko Yoshida, Imperial College London, UK

Publicity Chairs

Antonia Lopes, University of Lisbon, Portugal
Gianluigi Zavattaro, University of Bologna, Italy (DisCoTec general
publicity chair)

Steering Committee

Einar Broch Johnsen, University of Oslo, Norway
John Derrick, University of Sheffield, UK
Rocco De Nicola, University of Firenze, Italy
Elie Najm, ENST, France
George Angelos Papadopoulos, University of Cyprus
Antonio Ravara, T.U. Lisbon, Portugal
Gianluigi Zavattaro, University of Bologna, Italy

DisCoTec General Chair

Frank S. de Boer, Centrum Wiskunde & Informatica (CWI), Netherlands