mm bonsangue

Our apologies if you receive multiple copies of this e-mail.


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

Fourth International Symposium on
Formal Methods for Components and Objects
(FMCO 2005)

DATES 1 - 4 November 2005
PLACE CWI, Amsterdam, The Netherlands

The early registration deadline is about to close (October 15th)!
For more information please visit the FMCO web site at

http://fmco.liacs.nl/fmco05.html

This year's conference program includes:

* Eleven outstanding keynote speakers:
- Michael Barnett (Microsoft, USA)
- Lus Caires (New University of Lisbon, PT)
- Dennis Dams (Bell Labs, USA)
- Wan Fokkink (Free University, NL)
- Orna Grumberg (Technion, ISR)
- Joost-Pieter Katoen (RWTH Aachen, DE)
- Kung-Kiu Lau (University of Manchester, UK)
- Peter O' Hearn (Queen Mary University of London, UK)
- Arnd Poetzsch-Heffter (University of Kaiserslautern, DE)
- John Reynolds (Carnegie Mellon University, USA)
- Davide Sangi**** (University of Bologna, IT)
- Jan van Schuppen (CWI, NL)

* Ten selected tutorials

For full details see the conference web site

http://fmco.liacs.nl/fmco05.html


We look forward to see you in Amsterdam.

The FMCO 2005 Organizing Committee
F.S. de Boer (CWI and LIACS - Leiden University)
M.M. Bonsangue (LIACS - Leiden University)
S. Graf (Verimag)
W.P. de Roever (Kiel University)