posted by user: sierrauy || 3481 views || tracked by 7 users: [display]

PLACES 2010 : Programming Language Approaches to Concurrency and communication-cEntric Software


When Mar 21, 2010 - Mar 21, 2010
Where Paphos, Cyprus
Submission Deadline Jan 15, 2010
Notification Due Feb 15, 2010
Final Version Due Feb 19, 2010
Categories    programming languages   concurrency   communication   distribution

Call For Papers


Programming Language Approaches to Concurrency
and communication-cEntric Software
21st March 2010, Paphos, Cyprus
Affiliated with ETAPS 2010

Theme and Goals

Applications on the web today are built using numerous
interacting services; soon off-the-shelf CPUs will host hundreds
of cores; and sensor networks will be composed from a large
number of processing units. Many normal software, including
applications and system-level services, will soon need to make
effective use of thousands of computing nodes. At some level of
granularity, computation in such systems will be inherently
concurrent and communication-centred.

To exploit and harness the richness of this computing
environment, designers and programmers will utilise a rich
variety of programming paradigms, depending on the shape of the
data and control flow. Plausible candidates for such paradigms
include structured imperative concurrent programming,
stream-based programming, concurrent functions with asynchronous
message passing, higher-order types for events, and the use of
types for communications and data structures (such as session
types and linear types), to name but a few. Combinations of these
abstractions will be used even in a single application, and the
runtime environment needs to ensure seamless execution without
relying on differences in available resources such as the number
of cores.

The development of effective programming methodologies for the
coming computing paradigm demands exploration and understanding
of a wide variety of ideas and techniques. This workshop aims to
offer a forum where researchers from different fields exchange
new ideas on one of the central challenges for programming in the
near future, the development of programming methodologies and
infrastructures where concurrency and distribution are the norm
rather than a marginal concern.

Topics of Interest

Submissions are invited in the general area of foundations of
programming languages for concurrency, communication and
distribution. Specific topics include: language design and
implementations for communications and/or concurrency, program
analysis, session types, multicore programming, use of message
passing in systems software, interface languages for
communication and distribution, concurrent data types,
concurrent objects and actors, web services, novel programming
methodologies for sensor networks, integration of sequential
and concurrent programming, high-level programming
abstractions for security concerns in concurrent, distributed
programming, and runtime architectures for concurrency,
scalability and/or resource allocations. Papers are welcome
which present novel and valuable ideas as well as experiences.

Submission Guidelines

Authors are invited to submit a five-page abstract in PDF
format by 15th January using the EasyChair proceedings
template available at:

Abstracts and full papers should be submitted using EasyChair:

Preliminary proceedings will be available at the workshop.
The post-proceedings of the previous workshops will be
published in a journal (the past post-proceedings were
published in ENTCS and EPTCS).

Please address enquires to and,
with a subject field containing "[PLACES]".

Important Dates

Deadline of 5-page abstracts: Friday 15th Jan 2010
Notification: Friday 5th Feb 2010
Camera Ready for pre-proceedings: Friday 19th Feb 2010

Program Committee

Alastair Beresford, University of Cambridge
Marco Carbone, IT University of Copenhagen
Simon Gay, University of Glasgow
Joshua Guttman, The MITRE Corporation and Worcester Polytechnic Institute
Kohei Honda (chair), Queen Mary, University of London
Alan Mycroft (chair), University of Cambridge
Hanne Riis Nielson, The Technical University of Denmark
John Reppy, University of Chicago
Konstantinos Sagonas, National Technical University of Athens and
Uppsala University
Vivek Sarkar, Rice University
Vasco T. Vasconcelos, University of Lisbon
Jan Vitek, Purdue University
Nobuko Yoshida, Imperial College London

Related Resources

LLL 2021   8th International Conference on Language, Literature, Linguistics 2021
Multilingual NLP 2021   Multilingual Approaches to NLP
SI: Energies - Climate Change 2021   Special Issue: Change But No Climate Change: Discourses and Approaches of Climate Change in the Energy Industry
MEIJ 2021   Mechanical Engineering: An International Journal
MDPI-AppSci-CAANLP 2021   Applied Sciences special issue on Current Approaches and Applications in Natural Language Processing
CTCM 2021   7th International Conference of Control Theory and Computer Modelling
ENASE 2021   16th International Conference on Evaluation of Novel Approaches to Software Engineering
ACM-DSIT 2021   2021 4th International Conference on Data Science and Information Technology (DSIT 2021)
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
VEHICULAR 2021   The Tenth International Conference on Advances in Vehicular Systems, Technologies and Applications