[om-a] FMCO 2003: Call for Participation

[frb]

(We apologize for the reception of multiple copies)

ANNOUNCEMENT OF
The Second International Symposium on 
Formal Methods for Components and Objects (FMCO 2003)

DATES 4 - 7 November, 2003
PLACE Lorentz Center, Leiden University, Leiden, The Netherlands
URL http://fmco.liacs.nl/fmco03.html

OBJECTIVE
The objective of this symposium is to bring together researchers
and practioners in the areas of software engineering and formal methods
to discuss the concepts of reusability and modifiability in
component-based and object-oriented software systems.

FORMAT
The symposium is a four days event in the style of the former 
REX workshops,organized to provide an atmosphere that fosters 
collaborative work, discussions and interaction.
The program consists of keynote and technical presentations,
and contains an exquisite social event.
Speakers' contributions will be published after the symposium in
Lecture Notes in Computer Science by Springer-Verlag.

KEYNOTE SPEAKERS
Desmond D'Souza (Kinetium, Austin, USA)
E. Allen Emerson (University of Texas at Austin, USA)
Andrew D. Gordon (Microsoft Research, UK)
Yuri Gurevich (Microsoft Research, USA)
Tony Hoare (Microsoft Research, UK)
David Parnas  (University of Limerick, IE)
Joseph Sifakis (Verimag, FR)

TECHNICAL PRESENTATIONS 
Albert Benveniste (IRISA/INRIA - Rennes, FR)
Frank de Boer (CWI, NL)
Egon Boerger (Pisa University, IT)
Werner Damm (University of Oldenburg, DE)
Razvan Diaconescu (IMAR, RO)
Gregor Engels (University of Paderborn, DE)
Jose Luiz Fiadeiro (University of Leicester, UK)
Jan Friso Groote (Eindhoven University of Technology, NL)
Jean-Marc Jezequel (IRISA, Rennes, FR)
Bengt Jonsson (Uppsala University, SE)
Yassine Lakhnech (University of Grenoble, FR)
Rob van Ommering  (Philips Research Laboratories, NL)
Amir Pnueli (The Weizmann Institute of Science, ISR)
Willem-Paul de Roever (University of Kiel, DE)
Jan Rutten (CWI, Amsterdam, NL)
Philippe Schnoebelen (CNRS, Cachan, FR)
Natalia Sidorova (Eindhoven University of Technology, NL)
Heike Wehrheim (University of Oldenburg, DE)
Jeannette Wing (Carnegie Mellon University, USA)

REGISTRATION
Participation is limited to about 80 people,
using a first-in first-served policy.
To register, please fill in the registration form at
http://fmco.liacs.nl/fmco03.html.
The EARLY registration fee (BEFORE September 15, 2003)
is 375 euro for regular participants and 250 euro for students.
It includes the participation to the symposium, a copy of the
proceedings,
all lunches and refreshments, and a social event (with dinner).

ORGANIZING COMMITTEE
F.S. de Boer (CWI and Utrecht University)
M.M. Bonsangue (LIACS-Leiden University)
S. Graf (Verimag)
W.P. de Roever (CAU)

For more information about participation and registration
see the FMCO site above or consult either
F.S. de Boer (frb at cwi.nl) or M.M. Bonsangue (marcello at liacs.nl).
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems