Online Registration (closed)

From now on please use etaps08-organizers [AT] mit.bme.hu instead of etaps08-registration[AT]inf.mit.bme.hu.

The online registration form allows you to register for the main conferences, satellite events, and tutorials. Please note that this year, accommodation is managed separately (see Accommodation page for details). Please read the following notes carefully before proceeding to the registration form.

In order to register you will be asked to create an account in our online registration system. Then, you can (incrementally) register to ETAPS 2008. You will be able to edit/update your registration until you give payment instructions.

There are the following payment possibilities:

Notice that after payment the online register system will not allow you to change your registration (see Changes and Cancellation sections below).

Registration is not complete until payment has been received and confirmed. You will receive a final acknowledgement when your payment has been confirmed. If you have not received an official notification by e-mail within two weeks after having sent your payment and registration, please contact us at:

ETAPS'08 Local Organization
Neumann János Számítógép-tudományi Társaság (NJSZT)
(John von Neumann Computer Society)

H-1054 Budapest, Báthori u. 16. 
Fax: +361 472 2728
E-Mail: etaps08-registration[AT]inf.mit.bme.hu etaps08-organizers [AT] mit.bme.hu

Fees

All fees are in Euros (€) and include taxes.

Registration Deadlines

Early Normal Late
Feb. 19th, 2008 Feb. 29th, 2008 after Feb. 29th, 2008

ETAPS Main Conferences Fees

Member Type Registration Type
Early Normal Late
Academia Members(*) 335 € 370 € 445 €
Academia Non Members 360 € 400 € 480 €
Industry 415 € 460 € 550 €
Students(**) 225 € 250 € 300 €

(*)As an academic member of EATCS, EAPLS, or EASST you can register for the ETAPS main conferences at a reduced academia fee. You will be asked to provide your membership details (organization and membership number) on the registration form. You may want to join one of these organizations before proceeding with your registration.
(**)In order to apply for a Student registration, you will be asked to send a Certificate from your University or Institution.

Satellite Event Fees

Days Registration type
Early Normal Late
ETAPS Satellite-Events-Only Registration Fee 60 € 67 € 80 €
Daily Fee 30 € 30 € 30 €
Workshops  
ACCAT March 30 25 € 25 € 35 €
BYTECODE April 5 - 6 25 € 25 € 35 €
CMCS April 4 - 6 65 € 65 € 75 €
COCV April 5 45 € 45 € 55 €
DCC March 29-30 36 € 36 € 46 €
FESCA March 29 36 € 36 € 46 €
FIT April 5 36 € 36 € 46 €
FORMED March 29 30 € 30 € 40 €
GALOP April 5-6 55 € 55 € 65 €
GT-VMT March 29-30 60 € 60 € 70 €
LDTA April 5 45 € 45 € 55 €
MBT March 30 36 € 36 € 55 €
MOMPES April 5 125 € 125 € 150 €
PDMC March 29 72 € 72 € 82 €
QAPL March 29-30 45 € 45 € 55 €
RV March 30 45 € 45 € 55 €
SAFECERT March 29 55 € 55 € 65 €
SC March 29-30 55 € 55 € 65 €
SLA++P April 5 45 € 45 € 55 €
WGT April 5 45 € 45 € 55 €
WRLA March 29-30 60 € 60 € 70 €
IFIP TC1(†) March 29 0 € 0 € 0 €
Tutorials  
Program verification using the Spec# Programming System
(K. Rustan M. Leino and Rosemary Monahan)
March 29
(morning)
25 € 25 € 35 €
Learning meets Verification (Martin Leucker) March 29
(afternoon)
25 € 25 € 35 €
Theorem-prover based Testing with HOL-TestGen (cancelled)
(Achim D. Brucker and Burkhart Wolff)
March 29
(morning)
25 € 25 € 35 €
Verification-centric Development in Java with JML and ESC/ Java2
(Joseph Kiniry)
March 30
(all day)
35 € 35 € 45 €
Static Analysis of Programs: A Heap-centric View
(Uday Khedker)
April 5
(afternoon)
25 € 25 € 35 €
Model-based vs. Code-based Verification for Secure Systems (cancelled)
(Jan Jürjens)
April 5
(morning)
25 € 25 € 25 €
Practical Phoenix – A Hands-On Workshop (cancelled)
(Andy Ayers, Chuck Mitchell, Mark Lewin)
April 6
(all day)
35 € 35 € 45 €
Web Services (Igor Kanovsky) (cancelled) April 6
(all day)
50 € 50 € 60 €

Social Event Fees

There are several social events included in the ETAPS program. As described above, most of them are not included in the regular fees and have to be payed separately. Ticket prices of these social events are as follows:

Co-Located Events

Please note that the co-located events registration are handled by the event organizers and not by ETAPS'08. For further information check their websites:

Payment

Payments can be made by
credit card:
Visa, Eurocard/Mastercard, JCB will be accepted. Further information on on-line credit card payment can be found here.
bank transfer payable in Euros:
Please do not forget to include the name of the registered participant (your name) and ETAPS 2008 in the bank communication,
and send a copy of the transfer by fax.
All bank charges must be paid by the sender. Please, transfer your payment to the following account:

Account Owner:
Neumann János Számítógép-tudományi Társaság (NJSZT)
H-1054 Budapest, Báthori u. 16, Hungary
Fax: +36 1 472 2728
Email: etaps08-registration[AT]inf.mit.bme.hu etaps08-organizers [AT] mit.bme.hu
Taxation number: 19815888-2-41
Registry number: PK.60432

Bank
: Budapest Bank
Address: H-1054 Budapest, Bathory u. 1
IBAN: HU66 1010 3173 4989 0900 0100 0307
Swift code / BIC: BUDAHUHB

Cancellation and Refund Policy

Registered participants who are unable to attend ETAPS 2008 may ask for refunds. For cancellations received by ETAPS-Organization (fax: +36 1 472 2728) on or before March 10, there will be an 80% refund on the registration payments. For cancellations received after March 10, there will be no refund of the registration payment.
However, a valid registration may be transferred to another person at no cost.

All notifications of cancellation must be submitted to the ETAPS Organization.

Changes

If you want to change your registration (e.g. to attend an extra workshop), please contact the ETAPS-Organization by etaps08-registration[AT]inf.mit.bme.hu e-mail, or fax.

Pending Amounts

Any differences arising in registration fees will be settled on site by the Secretariat. In the event that registration funds were wired late or, for unexplained reasons, were not credited to the ETAPS 2008 account at the time of registration, a photocopy of the receipt will be required. If no proof of payment can be presented, full payment will be required on site.

Invitations

Registered participants whose registration fee has been paid in full may ask etaps08-registration[AT]inf.mit.bme.hu etaps08-organizers [AT] mit.bme.hu for a letter of invitation, as may be required for instance for a visa application. Letters will only be sent by post or fax and only to the individual registered. Please provide your complete return address and fax number.

Accommodation

The ETAPS-Organization offers the participants of ETAPS 2008 rooms at special prices in selected hotels. Hotel information is available here.

Privacy Policy

 

ETAPS 2008 | Last Update: 2008-04-09

Valid HTML 4.01!