The Verification of Flood Barrier Control Algorithms in Rotterdam

-

10 Years After


AN INTERNATIONAL WORKSHOP ON ADVANCES IN MODEL CHECKING

IN HONOUR OF

GERARD J. HOLZMANN

  NOVEMBER 30, 2006 / DECEMBER 01, 2006

UNIVERSITY OF TWENTE, ENSCHEDE, THE NETHERLANDS



Local Information:

  • How to get to the university?
  • Accomodation: All invited speakers will reside in Hotel Drienerburght (Building No. 44)  
  • Venue: The workshop will take place in room 'Collegezaal 4' in the building 'Waaier' (Building No. 12)
  • The lunches will be in the canteen of the 'Waaier'-building
  • The dinner on 30.11.2006 will be in the 'Faculty Club' (Building No. 42)