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

This workshop is in preparation

  • Scientific organizers:
    Fabrice Kordon (Paris, France)  
    Jaco van de Pol (Enschede, Netherlands)  
    Martina Seidl (Linz, Austria)

    Organizational Log-in (restricted)
     




   [Back]