Lorentz Center - Verification of Concurrent and Distributed Software from 14 Sep 2015 through 18 Sep 2015
  Current Workshop  |   Overview   Back  |   Print   |   Home   |   Search   |     

    Verification of Concurrent and Distributed Software
    from 14 Sep 2015 through 18 Sep 2015

 

Click for enlargement

Venue: Lorentz Center@Oort

  • Description and aim of the workshop
     
  • Registration form
     
  • Participants
     
  • Program
     
  • Event report
     
  • Scientific organizers:
    Dilian Gurov (Stockholm, Sweden)  
    Marieke Huisman (Enschede, The Netherlands)  
    James J. Hunt (Karlsruhe, Germany)  
    Arnd Poetzsch-Heffter (Kaiserslautern, Germany)
     
  • Workshop Coordinator: Tel: +31 71 527 5585
     
    Organizational Log-in (restricted)
     




   Workshop lectures are open to anyone interested.

   [Back]