The workshop is taking place at the University of Sussex Campus at Falmer, in Brighton. Details of how to get here can be found at www.sussex.ac.uk/press_office/location/. Information about Brighton and how to get to the city is available at www.brighton.co.uk. Here is a pdf format map of campus and the local area.
If you have not yet booked your flight, then the closest international airport is Gatwick. You can get a direct train to Brighton from the station located at the South Terminal. The train journey takes around 30 minutes. To get to the University you will need to take a seperate train from Brighton station to Falmer (the trains going to Hastings, and to Seaford will be on the correct route.) It is three stops to Falmer, so the journey only takes around 10 minutes. There are ticket machines in the station - but it is best to have coins rather than notes for these. Falmer is listed as a seperate station on the machines. The timetable and travel planner are available at www.railtrack.co.uk. On arrival at the station there will be signposts to the workshop, but take the underpass towards campus and the event takes place in the Arts D building, Room 710. To find Arts D building follow the signposts for the Myths Conference. It is in the middle of the campus towards the left hand side of campus as you approach from Falmer Station. To get to Room 710 take the lift to the seventh floor.
If you want to take a bus from Brighton to the University, it is also very easy. Bus no 25, and 25a come to the University. You can catch these from the Old Stein area, which is infront of the Palace Pier, and next to the Pavilion. The bus costs one pound for the journey, and takes around 20 minutes. Get off at the second stop on campus, and there will be sign posts to the workshop.
If you have any trouble finding the right place when you get to campus please telephone +44 (0)1273 678448 using a mobile phone, or just x8448 if you can find one of the campus telephones.
The Workshop will begin at 9.30am on Thursday 5th June and ends after lunch on Friday 6th June. There will be the opportunity for seperate meetings on the Friday afternoon. I attach a timetable in both word and text format.
If you have any questions please email firstname.lastname@example.org or telephone +44 (0) 1273 678448. We look forward to seeing you at the workshop.
Send your registation form to
School of Cognitive & Computing Sciences
University of Sussex
You are asked to arrange your own accomodation in the town centre at Brighton. We have made provisional bookings and secured a corporate rate at a hotel in Brighton for you, but you will need to explain that you are part of the University of Sussex Myths event. They have given us the code number: 8936. Please quote this when booking - other than the rooms that they are holding for us the Hotel is completely booked up. I have asked them hold rooms for us until 21 April, but after that we cannot guarantee you a room. The cost for a single with breakfast is GBP67.00 per night. Please book as soon as possible as this is the height of the season for Brighton and many places will be completely booked soon.
The Royal Albion HotelLook at places to stay, or try:
35, Old Stein, Brighton
Tel: 44 1273 329 202
Fax: 44 1273 748 078
18/19 Charlotte Street, Brighton
Tel:+44 1273 601203
Fax:+44 1273 621973
The Oriental Hotel
9 Oriental Place, Brighton
Tel: +44 (0)1273 205050
J. Rathke: Contextual equivalence for higher order pi revisited
M. Carbone: Towards a formal model for trust in dynamic networks
D. Gorla, Behavioural Equivalences for Distributed and Mobile Systems
M. Loreti, Compositional specifications of Klaim Nets
A. Ravara: Lexically scoping distribution: what you see is what you get
F. Martins: Extending security policies to LSDpi calculus
C. Braghin: Freshness analysis in security protocols
D. Macedonio, Secure contexts for confidential data
M. Hennessy: SafeDpi: A language for controlling mobile code
A. Francalanza: DpiF: A language expressing distributed mobile code and partial failure
J.-B. Stefani: Some Elements for a Migration Calculus
G. Boudol: Some Elements for a Migration Calculus
About this site. Last modified: Thu Apr 10 10:28:29 WEST 2003