<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<tt>---------------------------------------------------------</tt><tt><br>
<br>
</tt><tt> Call for participation: </tt><tt><br>
</tt><tt><br>
</tt><tt>9th Workshop on Programming Language Approaches to</tt><tt><br>
</tt><tt> Concurrency- and Communication-cEntric Software</tt><tt><br>
</tt><tt><br>
</tt><tt> Friday 8th April 2016</tt><tt><br>
</tt><tt><br>
</tt><tt> Co-located with ETAPS 2016, Eindhoven, The Netherlands</tt><tt><br>
</tt><tt><br>
</tt><tt> ---------------------------------------------------------</tt><tt><br>
</tt><tt>For more information: <a class="moz-txt-link-freetext"
href="http://places16.by.di.fc.ul.pt">http://places16.by.di.fc.ul.pt</a></tt><tt><br>
</tt><tt>---------------------------------------------------------</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt> Modern hardware platforms, from the very small to the very
large, <br>
increasingly provide parallel computing resources for applications
<br>
to maximise performance. Many applications therefore need to make
<br>
effective use of tens, hundreds, and even thousands of compute
nodes. <br>
Computation in such systems is thus inherently concurrent and <br>
communication centric.</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt> Effectively programming such applications is challenging;
<br>
performance, correctness, and scalability are difficult to
achieve. <br>
Various programming paradigms and methods have emerged to aid this
<br>
task. </tt><tt>The development of effective programming
methodologies for this <br>
increasingly parallel landscape therefore demands exploration and
<br>
understanding of a wide variety of foundational and practical
ideas. <br>
This workshop offers a forum where researchers from different
fields <br>
can exchange new ideas on this key challenge to modern and future
<br>
programming- where concurrency and distribution are the norm
rather <br>
than a marginal concern.</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt>*** Keynote ***</tt><tt><br>
<br>
</tt><tt>We are excited to have Prof. Dr. Peter Mueller (ETH Zurich)
giving<br>
this years' keynote presentation.</tt><tt><br>
</tt><tt><br>
</tt><tt>*** Accepted papers ***</tt><tt><br>
</tt><tt><br>
</tt><tt>* Secure Multiparty Sessions with Topics</tt><tt><br>
</tt><tt> Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo
De’Liguoro</tt><tt><br>
</tt><tt><br>
</tt><tt>* Formalization of Phase Ordering</tt><tt><br>
</tt><tt> Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar</tt><tt><br>
</tt><tt><br>
</tt><tt>* Parallel Monitors for Adaptive Sessions</tt><tt><br>
</tt><tt> Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti
Venneri</tt><tt><br>
</tt><tt><br>
</tt><tt>* </tt><tt>Event-driven adaptation in COP</tt><tt><br>
</tt><tt> Pierpaolo Degano, Gianluigi Ferrari, Letterio Galletta</tt><tt><br>
</tt><tt><br>
</tt><tt>* </tt><tt>From Events to Reactions: A Progress Report</tt><tt><br>
</tt><tt> Tony Garnock-Jones</tt><tt><br>
</tt><tt><br>
</tt><tt>* Reversible Sessions Using Monitors</tt><tt><br>
</tt><tt> Claudio Antares Mezzina, Jorge A. Pérez</tt><tt><br>
</tt><tt><br>
</tt><tt>* </tt><tt>Future-based Static Analysis of Message Passing
Programs</tt><tt><br>
</tt><tt> Wytse Oortwijn, Stefan Blom, Marieke Huisman</tt><tt><br>
</tt><tt><br>
</tt><tt>* </tt><tt>Multiparty compatibility for concurrent objects</tt><tt><br>
</tt><tt> Roly Perera, Julien Lange, Simon Gay</tt><tt><br>
</tt><tt><br>
</tt><tt>* </tt><tt>Program Execution on Reconfigurable Multicore
Architectures</tt><tt><br>
</tt><tt> Sanjiva Prasad</tt><tt><br>
</tt>
<meta charset="utf-8">
<tt><br>
</tt><tt>* Type-checking Availability in Choreographic Programming</tt><tt>
(presentation-only)<br>
</tt><tt> Hugo A. López, Flemming Nielson, Hanne Riis Nielson</tt><tt><br>
</tt><tt> </tt><tt><br>
</tt><tt><br>
*** Registration ***<br>
<br>
Via the ETAPS website: <a class="moz-txt-link-freetext"
href="http://www.etaps.org/index.php/2016">http://www.etaps.org/index.php/2016</a><br>
<br>
If you have any questions please contact Dominic Orchard (<a
class="moz-txt-link-abbreviated"
href="mailto:dominic.orchard@cl.cam.ac.uk"><a class="moz-txt-link-abbreviated" href="mailto:dominic.orchard@cl.cam.ac.uk">dominic.orchard@cl.cam.ac.uk</a></a>).<br>
<br>
</tt><tt> Programme chairs: Dominic Orchard, Nobuko Yoshida</tt><tt><br>
</tt><tt> Organising committee: Simon Gay, Alan Mycroft, Vasco T.
Vasconcelos, Nobuko Yoshida</tt><tt><br>
<br>
</tt>Programme committee:<br>
* Francisco Martins, University of Lisbon<br>
* Heather Miller, EPFL<br>
* Fabrizio Montesi, University of Southern Denmark<br>
* Dominic Orchard, University of Cambridge / Imperial College London
(co-chair)<br>
* Josef Svenningsson, Chalmers<br>
* Francesco Tiezzi, University of Camerino<br>
* Bernardo Toninho, Imperial College London<br>
* Wim Vanderbauwhede, University of Glasgow<br>
* Steven Wright, University of Warwick<br>
* Nobuko Yoshida, Imperial College London (co-chair)<br>
* Lukasz Ziarek, University at Buffalo<br>
<meta charset="utf-8">
<tt> </tt>
</body>
</html>