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

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

FacebookTwitterLinkedInGoogle

Link: http://places10.di.fc.ul.pt/
 
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

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@cl.cam.ac.uk and kohei@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

Related Resources

PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
EI-ISEEIE 2023   2023 International Symposium on Electrical, Electronics and Information Engineering(ISEEIE 2023)
CSTY 2022   8th International Conference on Computer Science and Information Technology
PLACES 2022   13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
WiMNET 2022   9th International Conference on Wireless and Mobile Network
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ACM-Ei/Scopus-MLBDM 2022   2022 2nd International Conference on Machine Learning and Big Data Management(MLBDM 2022)-EI Compendex
CEIJ 2022   Chemical Engineering: An International Journal
QuASoQ 2022   10th International Workshop on Quantitative Approaches to Software Quality