Lorentz Center - Advancing Verification Competitions as a Scientific Method from 18 Feb 2019 through 22 Feb 2019
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Advancing Verification Competitions as a Scientific Method
    from 18 Feb 2019 through 22 Feb 2019

 

Venue: Lorentz Center@Snellius

  • Description and aim of the workshop
     
  • Registration form
     
  • Program
     
  • Scientific organizers:
    Fabrice Kordon (Paris, France)  
    Jaco van de Pol (Aarhus, Denmark)  
    Martina Seidl (Linz, Austria)
     
  • Workshop Coordinator: Tel: +31715275578
     
    Organizational Log-in (restricted)
     


 


   [Back]