ETAPS'99
EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE
20– 28 March 1999 - Amsterdam, The Netherlands
First name: Last Name: ¨ Mr ¨ Ms
Institute:
Department:
Address:
Post Code and City: Country:
Telephone: Fax:
Email:
¨ 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
¨ FOSSACS'99
¨ TACAS'99
I wish to order [ ] ticket(s) for the Conference Banquet on 23 March
Sattelites
¨ 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
Tutorials
¨ 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:
Remarks:
I guarantee my reservation with the following credit card:
¨ American Express ¨ Euro/Master/Accesscard ¨ Visa
|
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.
Payment
The total amount due for registration of NLG _______ has been paid by:
¨ Banktransfer to account # 31.35.57.977 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:
Registration fees
|
Payment received before 1 March |
Payment received after 1 March |
|
|
ETAPS main conferences |
||
|
Academia |
NLG 650 |
NLG 750 |
|
Industry |
NLG 1000 |
NLG 1200 |
|
Students |
NLG 300 |
NLG 400 |
|
Included in the registration fee is
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 |
|
CMCS'99 |
NLG 200 |
NLG 250 |
|
AS'99 |
NLG 80 |
NLG 120 |
|
CWI Soiree |
Free |
Free |
|
WAGA'99 |
NLG 130 |
NLG 180 |
|
ERCIM WG |
Invitation |
Invitation |
|
CoFI |
NLG 80 |
NLG 120 |
|
Tutorials |
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 |
Proceedings
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
e-mail: Lidy.Groot@inter.NL.net