[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Communicating Process Architectures 2000
=====================================================================
[ CPA-2000 (WoTUG-23) Call for Delegates ]
=====================================================================
========================================================
[ ]
[ Title: Communicating Process Architectures - 2000 ]
[ ]
========================================================
========================================================
[ ]
[ When: Sunday 10th. September (evening) through ]
[ Wednesday 13th. September (lunchtime) ]
[ ]
========================================================
========================================================
[ ]
[ Where: University of Kent at Canterbury (England) ]
[ ]
========================================================
========================================================
[ ]
[ Web site: http://wotug.ukc.ac.uk/cpa2000/ ]
[ ]
[ Please see the above URL for details of conference ]
[ structure, accepted papers, location, registration, ]
[ programme committee, secretary, fees, bursaries etc. ]
[ ]
[ A brief summary of the Rationale behind this meeting ]
[ is given below. ]
[ ]
========================================================
========================================================
[ ]
[ Conference Fee ]
[ (includes proceedings, ]
[ campus accommodation ]
[ and all meals including ]
[ the conference dinner): 310 pounds sterling ]
[ ]
[ Student Fee ]
[ (includes all of ]
[ the above): 210 pounds sterling ]
[ ]
[ (the Student Fee depends on getting one of a few ]
[ student bursaries sponsored by WoTUG -- see the ]
[ web site for details) ]
[ ]
========================================================
=====================================================================
[ The Rationale behind Communicating Process Architectures - 2000 ]
=====================================================================
At all levels of abstraction, modern computing systems are built in
terms of components and communication (or, at least, synchronisation)
between components.
Communicating systems imply concurrency but, traditionally, concurrency
has been taught and considered and experienced as an advanced and
difficult topic. The thesis underlying this conference is that that
tradition is wrong. The natural world operates through the continuous
interaction of massive numbers of autonomous agents at all levels of
granulartiy (sub-atomic, human, astronomic). If modern computer science
finds this hard to grasp, then perhaps it is not doing it right.
It is time for concurrency to mature into a core engineering discipline
that can be used on an everyday basis to *simplify* problem solutions,
as well as to enable them.
Communicating Process Architectures 2000 addresses these issues head on.
The goal of the conference is to stimulate discussion and ideas as to
the role concurrency will play in future generations of scaleable computer
infrastructure and applications - where scaling means the ability to ramp
up functionality (i.e. stay in control as complexity increases) as well
as physical metrics (such as performance).
This conference brings together researchers and practitioners from an
astonishing range of disciplines: theory (primarily based upon Hoare's
algebra of Communicating Sequential Processes), hardware architecture,
software architecture, hardware/software co-design (including FPGAs),
languages for concurrency (including Java, occam, Handel and C#),
libraries, formal verification, tools, multithreaded run-time kernels,
embedded systems, distributed systems, Internet programming and
supercomputing.
We hope you enjoy Communicating Process Architectures 2000 and your
visit to the University of Kent at Canterbury. There will be a mix
of submitted and invited papers during the day, with workshops and/or
tutorials in the evenings. Submitted papers have been refereed by the
Programme Committee - only 20 were accepted so that their presentations
take place in a single stream attended by all the delegates. The plan
is for everyone to listen and talk to each other. It is already apparent
(and will be reported at this meeting) that significant mutual benefits
can be obtained when hardware and software architects appreciate and
depend on each other. We want more of this - you can always sleep on
the journey home ...
Peter Welch
Computing Laboratory
The University
Canterbury
Kent - CT2 7NF
UK
Tel: +44 (0)1227 823629
Email: P.H.Welch@xxxxxxxxx
=======================
[ Programme Committee ]
=======================
Professor David May FRS, University of Bristol, UK. (Patron)
Professor Andre Bakkers, University of Twente, The Netherlands. (Co-Chair)
Professor Peter Welch, University of Kent at Canterbury, UK. (Co-Chair)
Dr. Alastair Allen, University of Aberdeen, UK.
Professor Hamid Arabnia, University of Georgia, Athens, Georgia, USA.
Richard Beton, Roke Manor Research Ltd., UK.
Dr. Alan Chalmers, University of Bristol, UK.
Professor Peter Clayton, Rhodes University, South Africa.
Dr. Barry Cook, University of Keele, UK.
Dr. Janet Edwards, Loughborough University of Technology, UK.
Ruth A. Ivimey-Cook, ARM Ltd., Cambridge, UK
Christopher Jones, British Aerospace, Warton Aerodrome, UK.
Professor Jon Kerridge, Napier University, UK
Stephen Maudsley, Esgem Ltd, UK.
Dr. Patrick Nixon, Computer Science, University of Stathclyde, UK.
Dr. Brian O'Neill, Nottingham Trent University, UK.
Professor Chris Nevison, Colgate University, New York, USA.
Dr. Roger Peel, University of Surrey, UK
Dr. Michael Poole, Consultant, UK.
Professor Nan Schaller, Rochester Institute of Technology, New York, USA.
Professor G. S. Stiles, Utah State University, Utah, USA.
Professor Paul Tymann, Rochester Institute of Technology, New York, USA.
Oyvind Teig, Navia Maritime AS, Division Autronica, Norway.
Professor Rod Tosten, Gettysburg University, USA.
Dr. Stephen J Turner, Nanyang Technological University, Singapore.
Paul Walker, 4-Links, UK.
Dr. Hugh Webber, Defence Evaluation Research Agency, Malvern, UK.