Second International Symposium on Formal Methods for Components and Objects

M.M. Bonsangue marcello@liacs.nl
Mon, 28 Jul 2003 13:44:10 +0200


(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://fmco.liacs.nl/fmco03.html

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://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).