Lorentz Center - Formal Methods for the Informal World from 4 Mar 2013 through 8 Mar 2013
  Current Workshop  |   Overview   Back  |   Print   |   Home   |   Search   |     

    Formal Methods for the Informal World
    from 4 Mar 2013 through 8 Mar 2013

 

Click for enlargement

Venue: Lorentz Center@Oort

  • Description and aim of the workshop
     
  • Registration form
     
  • Participants
     
  • Program
     
  • Abstracts
     
  • Event report
     
  • Scientific organizers:
    Francien Dechesne (Delft, Netherlands)  
    Frank Dignum (Utrecht, Netherlands)  
    Virginia Dignum (Delft, Netherlands)  
    Bruce Edmonds (Manchester, United Kingdom)  
    Liz Sonenberg (Melbourne, Australia)
     
  • Workshop Coordinator: Tel: +31 71 527 5585
     
    Organizational Log-in (restricted)
     


 


   [Back]