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

 

Participants List

(, United States)
(, Germany)
(, France)
(, Austria)
Dirk Beyer(Munich, Germany)
Armin Biere(Linz, Austria)
Nikolaj Bjorner(Redmond, United States)
Doina Bucur(Enschede, Netherlands)
Hubert Garavel(Montbonnot St Martin, France)
Arnd Hartmanns(Enschede, Netherlands)
Keijo Heljanko(University of Helsinki, Finland)
Lom Messan Hillah(Paris, France)
Holger Hoos(Leiden, Netherlands)
Marieke Huisman(Enschede, Netherlands)
Fabrice Kordon(Paris, France)
Alfons Laarman(Leiden, Netherlands)
Jeroen Meijer(Enschede, Netherlands)
Aina Niemetz(Stanford, United States)
Mathias Preiner(Standford, United States)
Luca Pulina(Sassari, Italy)
Martina Seidl(Linz, Austria)
Mihaela Sighireanu(Paris, France)
Kate Smith-miles(Melbourne, Australia)
Bernhard Steffen(Dortmund, Germany)
Mattias Ulbrich(Karlsruhe, Germany)
Jaco Van de Pol(Aarhus N, Denmark)
Tjark Weber(Uppsala, Sweden)


   [Back]