[TYPES/announce] PLACES'10: call for papers

Kohei Honda kohei at dcs.qmul.ac.uk
Wed Dec 16 07:56:21 EST 2009


CALL FOR PAPERS


                               PLACES'10
        Programming Language Approaches to Concurrency
              and communication-cEntric Software
                21st March 2010, Paphos, Cyprus
                   Affiliated with ETAPS 2010
                    http://places10.di.fc.ul.pt/


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:

http://www.easychair.org/easychair.zip

Abstracts and full papers should be submitted using EasyChair:

http://www.easychair.org/conferences/?conf=places2010

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 am at cl.cam.ac.uk and kohei at dcs.qmul.ac.uk,
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


More information about the Types-announce mailing list