posted by system || 1580 views || tracked by 5 users: [display]

PLACES 2013 : Programming Language Approaches to Concurrency and Communication-cEntric Software

FacebookTwitterLinkedInGoogle

Link: http://places13.di.fc.ul.pt/
 
When Mar 23, 2013 - Mar 23, 2013
Where Rome
Abstract Registration Due Dec 14, 2012
Submission Deadline Dec 21, 2012
Notification Due Jan 23, 2013
Final Version Due Feb 4, 2013
 

Call For Papers

CALL FOR PAPERS
PLACES'13
Programming Language Approaches to Concurrency
and Communication-cEntric Software
23rd March 2013, Rome, Italy
(affiliated with ETAPS 2013)
http://places13.di.fc.ul.pt/


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
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,
* 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:

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

Abstracts and papers should be submitted using EasyChair:

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

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.


** 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


** 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
Kohei Honda, Queen Mary, University of London, 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

Related Resources

PLACES 2020   12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
ICE 2020   13th Interaction and Concurrency Experience
ENASE 2020   15th International Conference on Evaluation of Novel Approaches to Software Engineering
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
CONCUR 2020   31st International Conference on Concurrency Theory
MNLP 2020   4th IEEE Conference on Machine Learning and Natural Language Processing
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
CLNLP 2020   2020 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2020)
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
IIIrd ICBELLP Singapore 2021   2021 – IIIrd International Conference on Business, Economics, Law, Language & Psychology (ICBELLP), March 25-26, Singapore