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




Due to popular request, we add the registration form on the website!

Invited speakers do not have to register!


Please proceed as follows:

  1. Copy the form below and fill it out.
  2. Send the filled form by email (latest Nov. 15) to:     Liesbeth Been
                         

-------------------------------------Registration form-------------------------------------

                Name on badge:

                Affiliation:
                Postal address:
                Email address:

                Arrival date + time:
                Departure date + time:

                Lunch on November 30: yes/no
                Dinner on November 30: yes/no
                Lunch on December 1: yes/no
                Dietary requirements: