[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

        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)





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