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

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

 

Venue: Lorentz Center@Snellius

This workshop is in preparation

  • Scientific organizers:
    Lennart Beringer (Princeton, NJ, USA)  
    Robbert Krebbers (Delft, The Netherlands)  
    Thomas Noll (Aachen, Germany)  
    Makoto Tatsuta (Tokyo, Japan)

    Organizational Log-in (restricted)
     




   [Back]