Call for participation: 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK

From: Prof Jonathan Bowen (jpbowen_at_btinternet.com)
Date: 04/30/04 

Date: 30 Apr 2004 06:13:25 -0700

BCS-FACS Event
              CALL FOR PARTICIPATION

    "25 Years of Communicating Sequential Processes"
               7-8 July 2004, London, UK.
          http://www.lsbu.ac.uk/menass/csp25/

This event has been organised to commemorate twenty-five years of
CSP, since it has been about twenty-five years since the
publication of Tony Hoare's original paper on Communicating
Sequential Processes, today regarded as one of the influential
papers in Computer Science. The intention is to celebrate, reflect
upon and look beyond the first quarter-century of CSP
contributions to Computer Science. CSP has made profound impacts
on many areas stretching from semantics and logic, through the
design of parallel programming languages to applications varying
from distributed systems and parallel computing to web services
and hardware circuits.

"25 Years of CSP" runs under the auspices of the British Computer
Society, Formal Aspects of Computing Science specialist group
(BCS-FACS) events programme. The event will be held at London
South Bank University's conference centre at the new Keyworth
Building on Wednesday 7 and Thursday 8 July, with accommodation
available nearby at the Union Jack Hotel. A drinks reception will
held on Tuesday evening at 6:30 pm.

Keynote Speaker:

  Sir Tony Hoare, FRS, Microsoft Research Cambridge, UK

Invited Speakers include:

  Stephen Brookes, Carnegie Mellon University, USA
  Michael Butler, Southampton University, UK
  Sadie Creese, Qinetiq, UK
  Michael Goldsmith , Formal Systems, UK
  Jifeng He, IIST, United Nations University, Macao, China
  Mark Josephs, London South Bank University, UK
  Jonathan Lawrence , IBM, UK
  Jeff Magee, Imperial College London, UK
  Carroll Morgan, New South Wales University, Australia
  David May, University of Bristol, UK
  Ad Peeters, Philips, Netherlands
  Jan Peleska, University of Bremen, Germany
  Mike Reed, University of Oxford, UK
  Bill Roscoe, University of Oxford, UK
  Peter Ryan, University of Newcastle, UK
  Steve Schneider, Royal Holloway University of London, UK
  Peter Welch, University of Kent, UK

Event Structure

The event will consist of:
  o Several sessions of invited 45-minute talks,
  o a panel discussion session on the future of CSP,
  o PhD Forum: posters exhibiting relevant research by PhD students,
  o tool demos, and
  o conference dinner with Prof. David May giving the after dinner speech.

The proceedings will be published as a book (likely to be
Springer) and posted to participants after the event.

The event is generously sponsored by the Institute for Computing
Research at London South Bank University, Microsoft Research
Cambridge, and Formal Methods Europe.

Participation is limited to about 80 people, based on a
first-in first-served policy. For more information about
participation and registration see the CSP25 web site at
http://www.lsbu.ac.uk/menass/csp25/

Organizers:

  Ali Abdallah, London South Bank University
  Cliff Jones, University of Newcastle
  Jeff Sanders, Oxford University Computing Laboratory

Quantcast