[TYPES/announce] FINAL CFP PLACES'13 -- Deadline for Abstracts Fri 14 Dec, full papers Fri 21 Dec

Simon Gay Simon.Gay at glasgow.ac.uk
Wed Dec 5 10:23:43 EST 2012

[ The themes of PLACES include types, concurrency and mobility. SG ]

                          FINAL CALL FOR PAPERS
          Programming Language Approaches to Concurrency
                and Communication-cEntric Software
                 23rd March 2013, Rome, Italy
                    (affiliated with ETAPS 2013)

** Important Dates **

Abstract (title & abstract): 14th December 2012
Paper Submission (up to 5 pages): 21st December 2012
Paper Notification: 23rd January 2012
Final versions of papers: 4th February 2012

** Background **

Applications today are built using numerous interacting services; soon
off-the-shelf CPUs will host thousands of cores, and sensor networks
will be composed from a large number of processing units. Many
applications need to make effective use of thousands of computing
nodes. At some level of granularity, computation in such systems is
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

** 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,
* session types,
* concurrent data types,
* concurrent objects and actors,
* multicore programming,
* use of message passing in systems software,
* interface languages for communication and distribution,
* program analysis,
* 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,
* 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 should submit a title and an abstract by Wednesday
14th December 2012.

Papers of up to*five pages*  in length should be submitted in PDF format
by Wednesday 21st December 2012 using the EasyChair proceedings
template available at:


Abstracts and papers should be submitted using EasyChair:


Preliminary proceedings will be available at the workshop.

The post proceeding will be published as an EPTCS volume.

Note that, as we accept short papers, extended versions of the accepted
works could be also submitted elsewhere.

Enquiries can be sent to the PC co-chairs.

** Program Committee **

Alastair Beresford, University of Cambridge, UK
Viviana Bono, Universita di Torino, Italy
Alastair Donaldson, Imperial College London, UK
Dan Ghica, University of Birmingham, UK
Joshua Guttman, Worcester Polytechnic Institute, MA, US
Thomas Hildebrandt, University of Copenhagen, Denmark
Paul Keir, Codeplay Ltd, UK
Hans-Wolfgang Loidl, Heriot-Watt University, UK
Conor McBride, University of Strathclyde, UK
Jeremy Singer, University of Glasgow, UK
Sven-Bodo Scholz, Heriot-Watt University, UK
Nikhil Swamy, Microsoft Research, US
Wim Vanderbauwhede (co-chair), University of Glasgow, UK
Hugo Torres Vieira, Universidade de Lisboa, Portugal
Nobuko Yoshida (co-chair), Imperial College London, UK

** Organizing Committee **

Alastair Beresford, University of Cambridge, UK
Simon Gay, University of Glasgow, UK
Alan Mycroft, University of Cambridge, UK
Vasco Vasconcelos, University of Lisbon, Portugal
Nobuko Yoshida, Imperial College London, UK
SPLS mailing list
SPLS at mailhost.dcs.gla.ac.uk

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20121205/80cb227d/attachment.html>

More information about the Types-announce mailing list