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