Email Gateway (Aug 17 2022 at 13:27): Email Gateway (Aug 17 2022 at 13:27):From: "M.M. Bonsangue" <marcello@liacs.nl>
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 Sangiorgi (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)
Last updated: May 03 2024 at 12:27 UTC