[isabelle] FMCO 2005: second call for participation

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


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


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)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.