CFP: Communicating Process Architectures 2003

CFP: Communicating Process Architectures 2003

Post by Gerald Hilderin » Tue, 25 Mar 2003 17:46:22



Communicating Process Architectures 2003

7th - 10th September 2003,University of Twente, Enschede, The Netherlands

http://www.ce.utwente.nl/cpa2003/

----------------------------------------------------------------------------
------

COMMUNICATING PROCESS ARCHITECTURES addresses many of the key issues in
modern computer science and practice. In broad terms, the conference themes
will concern concurrency - at all levels of software and hardware
granularity. The goal of the conference is to stimulate discussion and ideas
as to the role concurrency will play in the future generation of scalable
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).

Traditionally, CONCURRENCY has been taught and considered and experienced as
an advanced and difficult topic. The thesis underlying this conference is
that this tradition is wrong. The natural world operates through the
continuous interaction of massive numbers of autonomous agents at all levels
of granularity (astronomic, human, sub-atomic). If modern computer science
finds concurrency hard, then it is probably not doing it right! It is time
for concurrency to mature into a simple discipline that can be used everyday
to simplify the way in which we do computing, as well as enhance the
performance of what we build.

The WoTUG forum aims to continue the successful series of yearly
conferences, this one, the CPA 2003, being the fourth under the name of CPA,
and the 26th in the series of WoTUG conferences.

Specific themes include, but are not limited to:

- Theory - getting the underlying model right (CSP, pi-calculus, channels,
monitors, semaphores, BSP, barriers, buckets...);
- Concurrent design patterns and tools (built upon the above);
- Modelling concurrent software architectures (Real-time UML, dataflow
models, CSP)
- Safety and security issues (race-hazards, deadlock, livelock, process
starvation, ...);
- Language issues (Java(TM), CSP libraries for Java/C/C++, occam(TM),
Handel-C(TM), ...);
- System issues (lightweight multithreading kernels, lightweight external
communications, interrupts, ...)
- Processor issues (instruction sets for zero-cost multithreading, VLIW,
multiprocessor chips, software cache control, ...)
- Specialized hardware issues (link and router technologies, FPGAs, ...);
- Shared-memory -v- message-passing paradigms (unification?), SMP and
virtual SMP architectures;
- Supercomputing from commodity components (cluster computing, internet
grids, ...);
- Applications:
    - Scientific (including computation, graphics and GUIs),
    - Engineering (including embedded, real-time and control),
    - Mechatronic (including robots, machines and safety-critical),
    - Business (including mobile and e-commerce) and
    - Home (including entertainment);
    - Global architectural issues (vertical integration of all the above);
Etc.