posted by user: sierrauy || 4131 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

LChange 2024   LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
IEEE CCAI 2024   2024 IEEE the 4th International Conference on Computer Communication and Artificial Intelligence (CCAI 2024)
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
C3AI 2024   The International Conference on Computing, Communication, Cybersecurity & AI
NovelIQA 2024   Novel Approaches to Image Quality Assessment
ACM-Ei/Scopus-CCCAI 2024   2024 2nd International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2024) -EI Compendex
Dialogical Approaches to the Sphere ‘in 2024   Call For Papers - Dialogical Approaches to the Sphere ‘in-between’ Self and Other: The Methodological Meaning of Listening
ISEEIE 2024   2024 4th International Symposium on Electrical, Electronics and Information Engineering (ISEEIE 2024)