Lorentz Center - Effective Verification: Static Analysis Meets Program Logics from 13 May 2019 through 17 May 2019
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Effective Verification: Static Analysis Meets Program Logics
    from 13 May 2019 through 17 May 2019

 

Participants List

Lennart Beringer(Princeton, United States)
Sandrine Blazy(Rennes, France)
James Brotherston(London, United Kingdom)
Qinxiang Cao(Shanghai, China)
Emanuele D'osualdo(London, United Kingdom)
Fauzia Ehsan(Enschede, Netherlands)
Dan Frumin(Nijmegen, Netherlands)
Philippa Gardner(London, United Kingdom)
Léon Gondelman(Nijmegen, Nederland)
Marieke Huisman(Enschede, Netherlands)
Bart Jacobs(Leuven, Belgium)
Jens Katelaan(Wien, Austria)
Daisuke Kimura(Funabashi, Japan)
Robbert Krebbers(Delft, Netherlands)
Siddharth Krishna(New York, United States)
William Mansky(Chicago, IL, United States)
Christoph Matheja(Aachen, Germany)
Thomas Noll(Aachen, Germany)
Jorge A. Perez(Groningen, Netherlands)
Adam Rogalewicz(Brno, Czech Republic)
Alexander Summers(Zürich, Switzerland)
Joseph Tassarotti(Cambridge, United States)
Makoto Tatsuta(Kawasaki, Japan)
Edwin Westbrook(Portland, United States)
Thomas Wies(New York, United States)


   [Back]