20 28 March 1999 - Amsterdam, The Netherlands



First name: Last Name: ¨ Mr ¨ Ms








Post Code and City: Country:


Telephone: Fax:




¨ Industry or ¨ Academia ¨ Student


Registration (see page 3 for the fees)


I would like to register for the following events:


¨ ETAPS Conferences

I wish to receive proceedings of the following ETAPS conferences (2 copies are included in the registration fee):


¨ CC'99

¨ ESOP'99

¨ FASE'99


¨ TACAS'99


I wish to order [ ] ticket(s) for the Conference Banquet on 23 March


¨ CMCS'99, 20-21 March

¨ AS'99, 21 March

¨ CWI Soiree, 24 March (evening)

¨ Common Framework Initiative

¨ WAGA'99, 26 March

¨ ERCIM Working Group on Programming Language Technologies, 27 March



¨ Shape Analysis with Applications, 20 March

¨ Computability and Complexity from a Programming Perspective, 20 March

¨ Foundations of Object-Oriented Programming, 21 March

¨ Aspect-Oriented Programming Using AspectJ(TM), 21 March

¨ Model checking, 27 March

¨ Modelling, Validation and Verification by means of Coloured Petri Nets, 27 March

¨ Verification of Parametric Systems or Monadic 2nd Order Logic in Practice, 27 March






Hotel Reservation


I would like to reserve a room in one of the following hotels (please mark the applicable box):

Single room

Double room


Eden Hotel* (city centre)

NLG 200

NLG 230


Ibis Hotel* (next to Central Station)

NLG 210

NLG 240


Cok Superior Tourist Class* (south part of Amsterdam)

NLG 210

NLG 250


Tulip Inn Tropen Hotel* (east part of Amsterdam)

NLG 215

NLG 215


Tulip Inn Spuistraat (city centre)

NLG 220

NLG 220


Mercure Hotel (city centre)

NLG 220

NLG 255


Inntel (city centre)

NLG 235

NLG 255


Novotel (near RAI congress centre)

NLG 250

NLG 250

(prices excluding city tax and excluding breakfast unless *)


Arrival date: ________________ Departure date: _______________


If the hotel of my choice is fully booked, please book:

Second choice: Third choice:




I guarantee my reservation with the following credit card:

¨ American Express ¨ Euro/Master/Accesscard ¨ Visa


Name card holder:


Credit card #

Expiry date:






Date: Signature:



Early booking is advised. Requests received after 15 February 1999 will be accepted, but hotel accommodation cannot be guaranteed. Please make sure that your credit card is valid until one month after your stay at the hotel.


Cancelllation policy:

Cancellations have to be made in writing to the Congress Secretariat. For cancellations received before1 March 1999: one night and a handling fee of NLG 30 will be charged; cancellations received after 1 March 1999 or a no-show: one night and a handling fee of NLG 30 will be charged; all other nights booked will be charged if the room cannot be booked for an other participant.



The total amount due for registration of NLG _______ has been paid by:

¨ Banktransfer to account # of "Stichting WIC" at the RABO Bank, Middenweg 88, Amsterdam, The Netherlands, stating participants name.

¨ Certified cheque, to be enclosed with this form. Note that personal cheques cannot be accepted

¨ Charge my card (see hotel room form). Payments are processed via Lidy Groot Congress Events




Please return this form to:

Lidy Groot Congress Events/ETAPS - PO Box 83005 - 1080 AA AMSTERDAM, The Netherlands
Telephone: +31 20 6793218 - Fax: +31 20 6758236 Email:
Lidy Groot inter NL net


Registration fees



Payment received

before 1 March

Payment received

after 1 March

ETAPS main conferences



NLG 650

NLG 750


NLG 1000

NLG 1200


NLG 300

NLG 400

Included in the registration fee is

  • Participation European Joint Conferences on Theory and Practice of Software
  • A copy of the Proceedings of two selected ETAPS conferences*
  • Coffee, tea, and lunches at the conference site
  • Reception

The conference banquet is not included in the registration fee. Tickets can be ordered at NLG 125 per ticket.


Satellite events

Payment received

before 1 March

Payment received

after 1 March


NLG 200

NLG 250


NLG 80

NLG 120

CWI Soiree




NLG 130

NLG 180





NLG 80

NLG 120



Payment received

before 15 February

Payment received

after 15 February

Academia Half Day

NLG 40

NLG 50

Academia Full Day

NLG 80

NLG 100

Industry Half Day

NLG 100

NLG 150

Industry Full Day

NLG 200

NLG 250




For each of the conferences of the ETAPS meetings a separate volume is published. Each participant (except students) is entitled to two volumes free of charge. Additional volumes can be ordered with the registration form at a price of NLG 50 each.


Cancellation of registration

Refunds on the registration fee, less NLG 100 administrative charge may be applied for in writing to the Conference Secretariat until 1 March 1999. For cancellations received after this date, no refund can be made. Refunds are settled after the conference.


Cancellations should be sent to:

ETAPS registration secretariat

C/o Lidy Groot Congess Events

P.O. Box 83005

1090 AA Amsterdam

The Netherlands

Tel: +31 20 679 3218

Fax: +31 20 675 8236