[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PLACES'08 - Call for papers

	    Programming Language Approaches to Concurrency
	         and Communication-cEntric Software
		      June 7, 2008, Oslo, Norway

Applications on the web today are built using numerous interacting
services; soon an off-the-shelf CPUs will host thousands of cores, and
sensor networks will be composed from a large number of processing
units. Many normal applications 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

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 queues, and the use of types for
communication 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 methodologies.  This workshop aims to offer a
forum where researchers from different fields exchange new ideas on
one of the central challenges in programming in near future, the
development of programming methodologies and infrastructures where
concurrency and distribution are a norm rather than a marginal
concern. This workshop aims providing a forum for the focused exchange
of new ideas to support our quest for a unifying picture of programming
in this new area.

 > Topics of Interest

Submissions are invited in the general area of foundations of
programming languages for concurrency and distribution.  Specific
topics include: programming methodologies for sensor nets and
ubiquitous computing, multicore and network-on-chip programming,
integration of sequential and concurrent programming, program
analysis, session types, concurrent data types, web services, and
runtime architectures, including resource allocation.  Papers which
present novel and valuable ideas are welcome, together with those
which provide experience or practical insight.

 > Submission Guidelines

Authors are invited to submit an abstract (max. 5 pages) in PDF format
by e-mail to yoshida@doc.ic.ac.uk. Preliminary proceedings will be
available at the workshop.

 > Post-Workshop Proceedings in ENTCS

After the workshop authors will be invited to submit a full paper of
their presentation to be published in ENTCS, http://www.entcs.org.

 > Important Dates

Paper Submission: March 20, 2008
Paper Notification: May 1, 2008
Camera Ready: May 15, 2008

 > Program Committee

_ Alastair Beresford _ University of Cambridge
_ Manuel Fahndrich _ Microsoft Research
_ Simon Gay _ University of Glasgow
_ Kohei Honda _ Queen Mary University of London
_ Andrew Meyers _ Cornell University
_ Greg Morrisett _ Harvard University
_ Alan Mycroft _ University of Cambridge
_ Vijay A. Saraswat _ IBM Research
_ Vasco T. Vasconcelos (chair) _ University of Lisbon
_ Nobuko Yoshida (chair) _ Imperial College London

Vasco  Thudichum  Vasconcelos             http://www.di.fc.ul.pt/~vv
Dep. of Informatics,    Faculty of Sciences,    University of Lisbon
Phone/Fax: +351 217 500 608/084                       vv@di.fc.ul.pt
Bloco C6 - Piso 3, Campo Grande, 1749-016 Lisboa , Portugal