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)
- Luís 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)
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
