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

 

Venue: Lorentz Center@Snellius

  • Description and aim of the workshop
     
  • Registration form
     
  • Participants
     
  • Program
     
  • Scientific organizers:
    Lennart Beringer (Princeton, NJ, USA)  
    Robbert Krebbers (Delft, The Netherlands)  
    Thomas Noll (Aachen, Germany)  
    Makoto Tatsuta (Tokyo, Japan)
     
  • Workshop Coordinator: Tel: +31 71 527 8524
     
    Organizational Log-in (restricted)
     




   [Back]