Lorentz Center - Third International Symposium on Formal Methods for Components and Objects (FMCO) from 1 Nov 2004 through 5 Nov 2004
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Third International Symposium on Formal Methods for Components and Objects (FMCO)
    from 1 Nov 2004 through 5 Nov 2004

 

  • Description and aim of the workshop
     
  • Participants
     
  • Scientific organizers:
    Willem-Paul de Roever (Kiel Univ., Germany)  
    Marcello Bonsangue (Univ. Leiden, The Netherlands)  
    Frank de Boer (CWI, Amsterdam, The Netherlands)  
    Susanne Graf (Grenoble, France)
     
  • Workshop Coordinator: Tel: 071-5275400
     
    Organizational Log-in (restricted)
     




   [Back]