[TYPES/announce] PLACES'10: call for participation

[Kohei Honda]

                     CALL FOR PARTICIPATION
                                  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/

Dear colleagues,

This is the call for participation for PLACES'2010, a workshop
for foundations of concurrent and distributed programming.
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, 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.

With these backgrounds, PLACES'10 is held welcoming as an
invited speaker William Cook from Texas Austin, and excellent
contributions from researchers from divsese fields of
programming studies. We cordially invite your participation in
this workshop. We attach the basic information below.

Very best wishes,

Alan and Kohei
Co-Chairs of PLACES'10

* Invited Speaker

William Cook (University of Texas, Austin)

* Programme

Morning

(a) Type Inference for Communications: 9:00-10:30

Alastair Donaldson, Daniel Kroening and Philipp Ruemmer. Analysing
DMA Races in Multicore Software

Luísa Lourenço and Luis Caires. Type Inference for Conversation
Types

Keigo Imai, Shoji Yuen and Kiyoshi Agusa. Session Type
Inference in Haskell

(b) Controlling Imperative Concurrency: 11:00-12:30

Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas.
A Type System for Unstructured Locking that Guarantees Deadlock Freedom
without Imposing a Lock Ordering

Francisco Martins, Vasco Vasconcelos and Tiago Cogumbreiro. An
Investigation on Types for X10 Clocks

Joana Campos and Vasco T. Vasconcelos. Channels as Objects in
Concurrent Object-Oriented Programming

Lunch 12:30-14:00

Afternoon:

invited talk: 14:00-15:00

William Cook

(c) Language and Runtime Design: 15:00-16:00

Nuno Alves, Raymond Hu, Nobuko Yoshida and Pierre-Malo
Deniélou. Secure Execution of Distributed Session Programs

Julien Lange and Emilio Tuosto. A Modular Toolkit for Theories of
Distributed Interactions

Break 16:00-16:30

(d) Logical and Semantic Foundations of Distributed Programming: 16:30-17:30

Marco Carbone, Thomas Hildebrandt and Hugo A. Lopez. Towards
a Modal Logic for the Global Calculus

Thomas Hildebrandt and Raghava Rao Mukkamala. Distributed Dynamic
Condition Response Structures

* Further Information

For information on PLACES'10, please see:

   http://places10.di.fc.ul.pt/

For information on ETAPS'10, please see:

   http://www.etaps10.cs.ucy.ac.cy/

[end]