8th International Conference on Reliable Software Technologies
Ada-Europe 2003
Toulouse, France - June 16-20, 2003
REGISTRATION
Personal Data
Fields marked with * are mandatory – Tick the appropriate box
q Mrs. q Ms. q Mr. Title: q Prof. q Dr.
Last Name*: First Name*:
Affiliation/Organization:
Street*:
City*: Post/ZipCode*:
Country*: E-mail:
Phone*: Fax:
Special needs (e.g. diet, vegetarian, handicap…):
q Tick if you don’t want your address and e-mail be transmitted to all conference participants.
Conference Registration
q Early registration (by May 24th) q Late registration (After May 24th or on-site registration)
If one-day registration, please indicate for which day(s): q Tuesday q Wednesday q Thursday
If reduced fees, please indicate: q Member Ada-Europe AE national organization:
q Member ACM ACM membership number:
Registration fees (1) (see next page for information): EUR
Tutorials/Workshop Registration
Please indicate for which tutorial(s) you want to register (see next page for information):
Monday 16th June: q T1 q T2 q T3 q T4
Friday 20th June: q T5 q T6 q T7 q T8 q Workshop
Tutorials fees (2): EUR
Workshop fees (3): EUR
Extra Banquet Tickets
Number of extra banquet tickets (4): × 45 EUR = EUR
Payment
Total amount excluding VAT (1 + 2 + 3 + 4): EUR
VAT (+19.6%): EUR
Total amount to be paid, including VAT: EUR
An invoice will be sent to you by “Voyages 31”, you will be able to pay:
r by check payable to “Voyages 31” r by purchase order
r by bank transfer to “Voyages 31”
Bank: Société Marseillaise de Crédit - Bank Identifier Code (BIC): SMCTFR2AXXX
International Bank Account Number (IBAN): FR35 3007 7022 0600 0025 0083 E03
r by credit card r Visa r Mastercard
Name as shown on credit card:
Card number: Expiration date:
Your signature
Prices given here exclude VAT (19.6% in France)
Registration Fees
Registration includes one copy of the proceedings, coffee breaks, lunch(es), town hall reception on Tuesday 17th and visit on Thursday 19th. A full registration (June 17th - June 19th) also includes banquet on Wednesday 18th.
Member Ada-Europe or ACM SIGAda / Non memberNon academia / Academia / Non academia / Academia
Early registration
(by May 24th) / 530 EUR / 470 EUR / 590 EUR / 530 EUR
Late registration
(after May 24th) / 590 EUR / 590 EUR / 650 EUR / 650 EUR
One day registration / 270 EUR / 270 EUR / 300 EUR / 300 EUR
Tutorials/Workshop Registration Fees
Prices are per tutorial, including tutorial notes and coffee breaks. Lunches are only included when registering for a full-day tutorial, workshop or two half-day tutorials on the same day.
Half day / Full day orTwo halves on the same day / Workshop
Early registration
(by May 24th) / 120 EUR / 230 EUR / 50 EUR
Late registration
(after May 24th) / 150 EUR / 290 EUR / 70 EUR
Monday, June 16th
T1- The Personal Software Process for Ada by D. Roy – Full day
T2 - Developing High Integrity Systems with GNAT/ORK by J. A. de la Puente & J. Zamorano – Full day
T3 - Implementing Design Patterns in Ada95 by M. Heaney – Half day
T4 - Principles of Physical Software Design with Ada95 by M. Heaney – Half day
Friday, June 20th
T5 - High-integrity Ravenscar Using SPARK by P. Amey – Half day
T6 - Architecture Centric Development Using Ada and the Avionics Architecture Description Language
by B. Lewis & E. Colbert – Half day
T7 - A Semi Formal Approach to Software System Development by W. Bail – Half day
T8 - An Overview of Statistical-Based Testing by W. Bail – Half day
Extra Banquet
One extra ticket for the Wednesday 18th banquet costs 45 EUR.
Extra Proceedings
Extra proceedings will be on sale on the conference site.
Travel Accommodation
Booking rooms in different hotels in Toulouse is possible as well as obtaining some discount on plane or train travels. Please, see the conference web site or contact “Voyages 31” travel agency (see addresses below).
For the latest information about conference, see http://www.ada-europe.org/conference2003.html
Return (by fax or mail) your registration form before 13th June, 2003 to:
Michèle NAHUM - VOYAGES 31 – 17, Avenue des États-Unis - 31200 Toulouse - France
Phone: (33 0)5.62.72.97.34. or (33 0)5.62.72.97.39- Fax: (33 0)5.62.72.97.30
E-mail:
Web: http://www.congres31.com
Note: No registration request will be confirmed until payment has been received.
Cancellation: Cancellations must be in writing. A cancellation fee of 120 euros will be applied to all cancellations. No refunds will be given for cancellations postmarked after June 1st. Substitutions will be accepted.