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:
    Holger Hermanns (Saarland University, Germany)  
    Cristel Baier (University of Dresden, Germany)  
    Boudewijn Haverkort (University of Twente, Netherlands)  
    Joost-Pieter Katoen (RWTH Aachen, Germany)  
    Markus Siegle (University of the Federal Armed Forces, Germany)  
    Frits Vaandrager (Radboud University Nijmegen, Netherlands)
     
  • Workshop Coordinator: Tel: 00.31.71.527.5400
     
    Organizational Log-in (restricted)
     




   [Back]