Apologies for multiple copies.
Call For Participation
PLACES'14
Programming Language Approaches to Concurrency
and Communication-cEntric Software
April 12, 2014, Grenoble, France
Workshop affiliated with ETAPS 2014
http://places14.di.fc.ul.pt/
** Registration **
Early registration from 20 January to 14 February 2014.
http://www.etaps.org/
** Invited Talk **
Finding concurrency bugs under imprecise harnesses
Akash Lal, Microsoft Research India
** Programme **
http://places14.di.fc.ul.pt/programme
** Accepted Papers **
- Session Type Isomorphisms. Mariangiola Dezani-Ciancaglini (University of
Torino, Italy), Luca Padovani (University of Torino, Italy), and Jovanka
Pantovic (University of Novi Sad)
- Sessions as propositions. Sam Lindley (University of Edinburgh, UK) and J.
Garrett Morris (University of Edinburgh, UK)
- Multiparty Session Actors. Rumyana Neykova (Imperial College London, UK) and
Nobuko Yoshida (Imperial College London, UK)
- Towards Reversible Sessions. Francesco Tiezzi (IMT, Institute for Advanced
Studies Lucca, Italy) and Nobuko Yoshida (Imperial College London, UK)
- Verifying Parallel Loops with Separation Logic. Stefan Blom (FMT, EWI,
University of Twente, Nederlands), Saeed Darabi (FMT, EWI, University of
Twente, Nederlands), and Marieke Huisman (University of Twente, Nederlands)
- Session Types for Broadcasting. Dimitrios Kouzapas (University of Glasgow,
UK), Ramunas Gutkovas (Uppsala University, Sweden), and Simon Gay (University
of Glasgow, UK)
- Modularising global session types. Tzu-Chun Chen (University of Torino,
Italy)
- Multiparty Sessions based on Proof Nets. Dimitris Mostrous (University of
Lisbon, Portugal)
- Towards Composable Concurrency Abstractions. Janwillem Swalens (Vrije
Universiteit Brussel, Belgium), Stefan Marr (Vrije Universiteit Brussel,
Belgium), Joeri De Koster (Vrije Universiteit Brussel, Belgium), and Tom Van
Cutsem (Vrije Universiteit Brussel, Belgium)
** Theme and Goals **
Applications today are built using numerous interacting services; soon
off-the-shelf CPUs will host thousands of cores, and sensor networks will be
composed from a large number of processing units. Many applications need to
make effective use of thousands of computing nodes. At some level of
granularity, computation in such systems is 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 (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
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.
** Topics of Interest **
*Design and implementation of programming languages with first class support
for concurrency and communication
* Behavioural types, including session types
* Concurrent data types, objects and actors
* Verification and program analysis methods for concurrent and distributed
software
* Runtime systems for scalable management of concurrency and resource allocation
* High-level programming abstractions addressing security concerns in
concurrent and distributed programming
* Multi- and many-core programming models, including methods for harnessing
GPUs and other accelerators
* Memory models for concurrent programming on relaxed-memory architectures
* Integration of sequential and concurrent programming techniques
* Use of message passing in systems software
* Interface languages for communication and distribution
* Novel programming methodologies for sensor networks
* Programming language approaches to web services
* Concurrency and communication in event processing and business process
management
** Program Committee **
Jade Alglave, University College London, UK
Michele Bugliesi, Università Ca' Foscari Venezia, IT
Alastair Donaldson, Imperial College London, UK (co-chair)
Benedict Gaster, Qualcomm, USA
Simon Gay, University of Glasgow, UK
Thomas Hildebrandt, IT University of Copenhagen, DK
Jeroen Ketema, Imperial College London, UK
Hans-Wolfgang Loidl, Heriot-Watt University, UK
Etienne Lozes, ENS Cachan & University of Kassel, FR & DE
Francisco Martins, University of Lisbon, PT
Alan Mycroft, University of Cambridge, UK
Luca Padovani, Università di Torino, IT
Shaz Qadeer, MSR Redmond, USA
Vasco T. Vasconcelos, University of Lisbon, PT (co-chair)
** Organizing Committee **
Alastair Beresford, University of Cambridge, UK
Simon Gay, University of Glasgow, UK
Alan Mycroft, University of Cambridge, UK
Vasco Vasconcelos, University of Lisbon, Portugal
Nobuko Yoshida, Imperial College London, UK
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
