Online registration is now closed.

You can still register by:


Arrivals

Conference and workshop registration is open every day, in the Exhibition Centre, Physics Department.

Campus accommodation is fully booked. To arrange accommodation on an individual basis, try Visit York (web www.visityork.org; email: delegate@visityork.org; phone:+44(0)1904 554653)

Accommodation information has been sent to delegates. For enquiries, please contact York Conferences +44(0)1904 328431, conferences@york.ac.uk


ETAPS Main Conferences Fees

Member Type Registration Type
Early Normal Late
Academia Members(*) £335 £370 £445
Academia Non-Members £370 £410 £490
Industry £425 £470 £565
Students(**) £235 £260 £310

Satellite Event Fees

Days Registration type
Early Normal Late
ETAPS Satellite-Events-Only Registration Fee £50 £55 £65
Workshops  
ACCAT 22nd March £55 £60 £75
ARSPA-WITS 28-29th March £85 £95 £115
Bytecode 29th March £55 £60 £75
COCV 22nd March £50 £55 £65
COMPASS 29th March £50 £55 £65
FESCA 28th March £70 £80 £95
FORMED CANCELLED
GaLoP 28-29th March £110 £120 £145
GT-VMT 28-29th March £95 £105 £125
HFL 28-29th March £105 £115 £140
LDTA 28-29th March £90 £100 £120
MBT 22nd March £60 £65 £80
MLQA 28th March £50 £55 £65
OpenCert 28th March £50 £55 £65
PLACES 22nd March £50 £55 £65
QAPL 28-29th March £115 £125 £150
RC 22nd March £50 £55 £65
SafeCert 29th March £45 £50 £60
TAASN 22nd March £50 £55 £65
TERMGRAPH 22nd March £65 £70 £85
WING 29th March £60 £65 £80
Tutorials  
Complete and Exhaustive Testing Techniques
(Mike Stannett and Tony Simons)
CANCELLED £70 £80 £95
Formal Foundations for Verifying Security-Critical Software
(Jan Jürjens)
22nd March £55 £60 £75
Retrenchment: Straddling Formal Refinement and the Real World
(Richard Banach)
CANCELLED £55 £60 £75
Verification-Centric Development in Java with JML and ESC-Java2
(Joe Kiniry, Dan Zimmerman & Erik Poll)
CANCELLED £60 £65 £80

Social Event Fees

There are several social events included in the ETAPS program (may not be available if registering after closure of online registration). Except for the Welcome Reception which is included in the regular registration fees, tickets for the other events have to be payed for separately and are priced as follows:

Additional tickets for the Welcome Reception at York Castle Museum on Monday, 23rd March 2009 are priced at £30 per ticket.

Invitation Letters

Registered delegates whose registration fee has been paid in full may request a letter of invitation, as may be required 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 in your email request.