Second International Symposium on Formal Methods for Components and Objects

Second International Symposium on Formal Methods for Components and Objects

Post by marcell » Wed, 30 Jul 2003 03:08:15


(We apologize for the reception of multiple copies)

*********************** CALL FOR PARTICIPATION **********************

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://www.yqcomputer.com/

OBJECTIVES
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, organised 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://www.yqcomputer.com/
(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 ( XXXX@XXXXX.COM ) or
M.M. Bonsangue ( XXXX@XXXXX.COM ).