FMOODS'03 Call for papers 

The objective of FMOODS is to provide an integrated forum for the presentation of research in several related fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for Open Object-based Distributed Systems. 

 

FMOODS'03 Conference topics 


Aspects of the considered systems which are of interest include but are not limited to:

Work on these aspects of (official and de-facto) standard notations and languages, e.g., the UML, is explicitly welcome. Strengthening this year's federation with DAIS, a special emphasis is put on component-based design for which submissions are encouraged.

Submission 

Papers should be 10-15 pages in length. Full details, including more specific guidelines on the preparation of papers, will be made available on the conference website. Papers will undergo a thorough process of review; however, papers which are too long may be rejected without review. Proceedings will be published by Springer Verlag in the LNCS series. All papers must be original, unpublished, and not submitted simultanously for publication elsewhere.

Submission format: PS or PDF using the Springer LNCS style

 

Submission channel: Electronic

 

For inquiries about the submission:  Please send an e-mail to the PC chairs (Uwe.Nestmann@EPFL.ch,Perdita@inf.ed.ac.uk).

 

Important dates 

FMOODS'03 Organisers
General Chair PC Chairs Publicity Chair

Elie
Najm

ENST
FR

Uwe
Nestmann

EPFL
CH

Perdita
Stevens

U. Edinburgh
UK

John
Derrick

U. Kent
UK

Programme Committee

Lynne Blair

U. Lancaster - UK

Luigi Logrippo 

U. Québec en Outaouais - CA

Michele Bugliesi 

Universita' Ca' Foscari di Venezia - IT

Elie Najm 

ENST -  FR

Denis Caromel 

U. Nice Sophia Antipolis, 
CNRS/I3S, INRIA, IUF - FR

Erik Poll

U. Nijmegen - NL

John Derrick

UKC - UK

Arend Rensink

U. Twente - NL

Alessandro Fantechi

U. Florence - IT

Bernhard Rumpe

TU Munich - DE

Kokichi Futatsugi

Jaist, Ishikawa - JP

Martin Steffen

Christian-Albrechts U. Kiel - DE

Andy Gordon 

Microsoft - UK

Carolyn Talcott

Stanford University - US

Cosimo Laneve

U. Bologna - IT

Nalini Venkatasubramanian

UC Irvine - US

Steering Committee

John
Derrick

U. Kent
UK

Roberto
Gorrieri

U. Bologna
IT

Guy
Leduc

U. Liège
BE

Elie
Najm

ENST
FR