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

 


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.

 

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:
Lidy Groot inter NL net

 

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

  • 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

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