[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CPA 2009 - almost final call for delegates



Dear Potential Delegates,

This is nearly the final call for delegates to CPA 2009.

The conference programme, including abstracts for all accepted papers,
is available on the CPA 2009 website:

  http://www.wotug.org/cpa2009/programme.shtml

This year, we are very pleased to welcome Professor Michael Goldsmith
from the e-Security Group, WMG Digital Laboratory, University of Warwick,
as the Keynote Speaker.  Michael, in his role in Formal Systems (Europe)
Ltd, is one of the main pioneers and developers of the FDR model checker
for Tony Hoare's CSP.  His paper is titled:

  Beyond Mobility - What Next After CSP/pi?

CPA 2009 is one of many events in Formal Methods Week, Eindhoven,
the Netherlands, 1-4 November, 2009.  The registration page starts is
linked from the Formal Methods Week home page:

  http://www.win.tue.nl/fmweek/

The Normal Registration Fee ends 19th. October: 415 Euros.  After this,
I'm afraid it increases to 465 Euros.

WoTUG is sponsoring a number of bursaries (of 100 GBP) - details are at:

  http://www.wotug.org/cpa2009/registration.shtml

Note: the CPA registration fee covers all meals, including dinners
(Sunday/Monday) and the Conference Dinner (Tuesday), proceedings
and fringe sessions (Sunday/Monday evenings).  The Fringe sessions
will be at the Sandton Hotel - the Sunday/Monday dinners will be
at a restaurant adjacent to the Sandton, just before the Fringe
sessions.

The Sandton appears fully booked.  We suggest booking the Eden Court
Hotel (through the FMWeek Registration procedure), which is placed
conveniently half-way between the Sandton (for the evening Fringe
and dinners) and TU/Eindhoven (for the main conference and rest of
FM Week).

Note: the CPA registration fee does *not* cover your hotel bill!
The FM Week registration system will book you into the your hotel,
but that's all.  A special price is given via the FM Week system.

Final note: the FM Week systems lets you pay for CPA registration
(plus a mandated FM Week registration of around 35 Euros) either
by Visa or by invoicing your company/university or by direct
payment by yourself into their bank account.  If possible, please
do *not* choose the Visa payment method as we lose 4.5% of that
money through bank charges!

Many thanks,

Peter Welch.