# Third Workshop on Process Algebra and Stochastically Timed Activities
(PASTA Tricolore)

Thursday 10th and Friday 11th June 2004
National e-Science Centre
South College Street
Edinburgh, UK

http://www.doc.ic.ac.uk/pasta2004/

## Contents

Previous workshops:
PASTA 2002, PASTA 2003.

- Scope
- Important dates
- Programme
- On-line proceedings
- List of invited participants
- Location and map (PS or PDF)
- Workshop dinner
- Travel and parking details
- Accommodation
- Registration

## Scope of Workshop

The Workshop on Process Algebra and Stochastically Timed Activities is an informal meeting on the theme of modelling with stochastic process algebras (SPAs). These process algebras are used in performance modelling of computer and telecommunication systems and also in the verification of computer systems where the duration of activities is approximated by drawing from specified random distributions.

As always, we seek high-quality papers on any aspect of performance modelling with stochastic process algebras and related formalisms. Topics of interest include, among others:

- semantics and theory of SPAs
- comparisons with other modelling formalisms
- methodologies for application of SPAs in system development
- tools to support SPA-based modelling and analysis
- applications and case studies

## Important dates

- Registration deadline: 31st May 2004
- Camera-ready copy deadline: 3rd June 2004
  - Camera-ready copy instructions: (PS or PDF)
- Workshop dinner: 10th June 2004
- Workshop: 10-11th June 2004

## Workshop location

City map: PS or PDF
Workshop map: PS or PDF
Restaurant map: PS or PDF

The third PASTA workshop (PASTA 2004) will again take place in Edinburgh. As last year, the workshop will be hosted by the National e-Science Centre in Edinburgh. The National e-Science Centre provides excellent facilities for meetings and workshops. To co-locate a project meeting or other event with PASTA 2004 please contact Lee McLeod at NeSC.

The workshop will take place in the National e-Science Centre, 15 South College Street, Edinburgh on Thursday 10th June to Friday 11th June 2004. This map (PS or PDF) gives an overview of the city of Edinburgh. This map (PS or PDF) shows the location of the workshop in the central area of the city.

## Workshop dinner

Restaurant map: PS or PDF Dinner is at 8pm.

The workshop dinner is in the bar/restaurant Beluga, which opened in 2001 and is architecturally acclaimed! Beluga can be found at 30a Chambers Street, which is 2 minutes walk north from the NeSC and is highlighted on the map (PS or PDF).

Dinner will be at 8pm and is kindly sponsored by the NeSC. There is no charge for the workshop dinner.

## Travel to NeSC

NeSC provide comprehensive travel details on their website.

If you're coming to Edinburgh by train and you would like to book tickets in advance then Qjump provide an online ticket buying service.

## Workshop Registration

List of participants

Attendance at the workshop is by invitation only. All members of the School of Informatics of the University of Edinburgh and the Department of Computing of Imperial College are invited to attend the talks given at the workshop. There is no workshop fee. Thank you to all those who registered, we look forward to seeing you on Thursday 10th June in Edinburgh.

## Workshop organiser

Send comments and questions to Jeremy Bradley Last updated on Mon 07 Jun 2004 at 20:45 BST