Lorentz Center - Two Decades of Probabilistic Verification — Reflections and Perspectives from 12 Nov 2007 through 16 Nov 2007
  Current Workshop  |   Overview   Back  |   Print   |   Home   |   Search   |     

    Two Decades of Probabilistic Verification — Reflections and Perspectives
    from 12 Nov 2007 through 16 Nov 2007

 

  • Description and aim of the workshop
     
  • Registration form for invited people and for those whose application has been approved
     
  • Participants
     
  • Program
     
  • Presentations
     
  • link to presentations
     
  • Scientific organizers:
    (Saarland University, Germany) 
    (University of Dresden, Germany) 
    (University of Twente, Netherlands) 
    (RWTH Aachen, Germany) 
    (University of the Federal Armed Forces, Germany) 
    (Radboud University Nijmegen, Netherlands)
     
  • Workshop Coordinator: Tel: 00.31.71.527.5431
     
    Organizational Log-in (restricted)
     




   Workshop lectures are open to anyone interested.

   [Back]