FMCO 2003: Call for Participation

To: types@cis.upenn.edu
Subject: FMCO 2003: Call for Participation
From: frb <F.S.de.Boer@cwi.nl>
Date: Thu, 03 Apr 2003 13:54:08 +0200
Organization: cwi
Sender: F.S.de.Boer@cwi.nl
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@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).