Conference announcements

Call for Participation -
BCS-FACS Event - 25 Years of Communicating Sequential Processes

From: jpbowen@btinternet.com (Prof Jonathan Bowen)
Newsgroups: comp.parallel,news.announce.conferences
Subject: Call for participation: 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK
Date: 2 Jun 2004 09:37:34 -0800


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/

* Preliminary programme, titles/abstracts & a poster are now online

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 Club. A drinks reception will
be 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
  Ranko Lazic, University of Warwick, 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 by
Springer) and posted to participants after the event.

Participation is limited to about 80 people, based on a
first-come-first-served policy.  For more information  bout
participation and registration see the CSP25 website 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

Call for Participation -
BCS-FACS Event - 25 Years of Communicating Sequential Processes

From: jpbowen@btinternet.com (Prof Jonathan Bowen)
Newsgroups: comp.specification.misc,comp.specification.z,comp.software-eng,comp.theory,comp.lang.functional
Subject: Call for participation: 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK
Date: 30 Apr 2004 06:13:25 -0700

[ 79 lines deleted; see updated version above -- dc ]

To the Ada-Belgium home page.

Last update: 2004/06/05.