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


Hotel Information:

For all non-invited speakers, we have collected a number of hotels either on the campus or close to the campus of
University of Twente.
Please note that the reservation is the participants' responsibility.

On-campus accomodation:
  • Hotel Drienerburght:
    • Single room: 72.50 Euro incl. breakfast
    • Double room 81 Euro incl. breakfast
    • Limited number of rooms!

  • Hotel Logica:
    • Single room: 39.90 Euro incl. breakfast
    • Double room 61 Euro incl. breakfast
    • Please indicate "Model Checking Workshop UT/Enschede" on reservation

Close to campus:
  • Hotel De Broeierd:
    • Single/Double room: 82.50 Euro  w/o breakfast    
    • Breakfast: 14.50
    • Please indicate "Model Checking Workshop UT/Enschede" on reservation
Hotels in Enschede:
  • Dish Hotel:
    • Single room: 70.00 Euro w/o breakfast 
    • Breakfast 14.50 Euro

Hotels in Hengelo:
  • Star Hotel:
    • Single room: 65.00 Euro w/o breakfast
    • Breakfast: 14.50