[TYPES/announce] Call for Participation: PLACES 2016

Dominic Orchard dom.orchard at gmail.com
Fri Mar 4 11:54:21 EST 2016


                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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160304/ee1ee72a/attachment.html>


More information about the Types-announce mailing list