CPA 2011 Call for Papers
The theme of CPA 2011 is the theory and practice of concurrency.
CPA 2011 seeks submissions of original papers presenting novel,
interesting, useful and unpublished research (including ideas,
accomplishments and products) in this realm.
All submissions will be reviewed, with
extensive feedback given to authors.
Four weeks are allowed between notification of acceptance and delivery
of final CRC to enable proper reflection and reaction to reviewer feedback.
Each accepted paper will be allocated a specific editor,
who will monitor this process rigorously.
Conference themes are outlined on the home page.
Specific areas include, but are not limited to:
- theoretical approaches to concurrency, and formal languages
supporting these approaches, including the integration of existing
- modelling of, and model-driven development of concurrent software
- verification and analysis of concurrent systems;
- model-checking techniques and tools for development and analysis;
- theoretical approaches to hardware-software co-design;
- tools and languages for hardware-software co-design;
- verification and analysis of hardware-software co-design systems;
- programming languages and environments for concurrent systems;
- environments for distributed applications, such as grid applications;
- hardware and machine architectures such as multiprocessor cores and
instruction set design;
- reconfigurable computing, and tools relating to reconfigurable computing;
- programming and implementation issues for concurrent languages; such
as deadlock-freedom by design, starvation, and efficient inter-process
- system issues for programming languages supporting concurrency, such as
multithreading kernels and interrupt architectures;
- applications that exploit, or rely on, concurrency.
For instructions regarding the format for submitted papers and details of the
submission process, please see the information for
The CPA proceedings will be published by
as part of their
Concurrent Systems Engineering Series.
Under the IOS Press
Author Copyright Agreement, copyright of published material remains with
the original authors.
This makes CPA an ideal venue for presenting research that will be
suitable for developing into later journal publication.
|Paper submission:||4th. March, 2011 (|21st. February, 2011)
|Notification of acceptance:||28th. March, 2011 (|21st. March, 2011)
|Final revised CRC due:||26th. April, 2011 (|18th. April, 2011)
(Use the registration survival guide)
(|18th. April, 2011)
|Conference:||19th.–22nd. June, 2011|
CPA 2011 is co-located with
(the 17th. International Symposium on Formal Methods)
(the 34h. Annual IEEE Software Engineering Workshop).