CALL FOR PAPERS<br><div class="gmail_quote"> PLACES'13<br> Programming Language Approaches to Concurrency<br> and Communication-cEntric Software<br>
23rd March 2013, Rome, Italy <br>
(affiliated with ETAPS 2013)<br> <a href="http://places13.di.fc.ul.pt/" target="_blank">http://places13.di.fc.ul.pt/</a><br><br><br>Applications today are built using numerous interacting services; soon<br>
off-the-shelf CPUs will host thousands of cores, and sensor networks<br>will be composed from a large number of processing units. Many<br>applications need to make effective use of thousands of computing<br>nodes. At some level of granularity, computation in such systems is<br>
inherently concurrent and communication-centred.<br><br>To exploit and harness the richness of this computing environment,<br>designers and programmers will utilise a rich variety of programming<br>paradigms, depending on the shape of the data and control<br>
flow. Plausible candidates for such paradigms include structured<br>imperative concurrent programming, stream-based programming,<br>concurrent functions with asynchronous message passing, higher-order<br>types for events, and the use of types for communications and data<br>
structures (such as session types and linear types), to name but a<br>few. Combinations of these abstractions will be used even in a single<br>application, and the runtime environment needs to ensure seamless<br>execution without relying on differences in available resources such<br>
as the number of cores.<br><br>The development of effective programming methodologies for the coming<br>computing paradigm demands exploration and understanding of a wide<br>variety of ideas and techniques. This workshop aims to offer a forum<br>
where researchers from different fields exchange new ideas on one of<br>the central challenges for programming in the near future, the<br>development of programming methodologies and infrastructures where<br>concurrency and distribution are the norm rather than a marginal<br>
concern.<br><br><br>** Topics of Interest **<br><br>Submissions are invited in the general area of foundations of<br>programming languages for concurrency, communication and<br>distribution. Specific topics include: <br>
* language design and implementations for communications and/or concurrency, <br>
* session types, <br>* concurrent data types, <br>* concurrent objects and actors,<br>* multicore programming, <br>* use of message passing in systems software, <br>* interface languages for communication and distribution, <br>
* program analysis, <br>* web services, <br>* novel programming methodologies for sensor networks,<br>* integration of sequential and concurrent programming, <br>* high-level programming abstractions for security concerns in concurrent, distributed programming, <br>
* runtime architectures for concurrency,<br>* scalability and/or resource allocations. <br><br><br>Papers are welcome which<br>present novel and valuable ideas as well as experiences.<br><br><br>** Submission Guidelines **<br>
<br>Authors should submit a title and an abstract by Wednesday<br>14th December 2012. <br><br>Papers of up to *five pages* in length should be submitted in PDF format<br>by Wednesday 21st December 2012 using the EasyChair proceedings<br>
template available at:<br><br><a href="http://www.easychair.org/easychair.zip" target="_blank">http://www.easychair.org/easychair.zip</a><br><br>Abstracts and papers should be submitted using EasyChair:<br><br><a href="http://www.easychair.org/conferences/?conf=places2013" target="_blank">http://www.easychair.org/conferences/?conf=places2013</a><br>
<br>Preliminary proceedings will be available at the workshop. <br><br>The post proceeding will be published as an EPTCS volume.<br><br>Note that, as we accept short papers, extended versions of the accepted<br>works could be also submitted elsewhere. <br>
<br>Enquiries can be sent to the PC co-chairs.<br><br><br>** Important Dates **<br><br>Abstract (title & abstract): 14th December 2012<br>Paper Submission (up to 5 pages): 21st December 2012 <br>Paper Notification: 23rd January 2012<br>
Final versions of papers: 4th February 2012<br><br><br>** Program Committee **<br><br>Alastair Beresford, University of Cambridge, UK<br>Viviana Bono, Universita di Torino, Italy <br>Alastair Donaldson, Imperial College London, UK<br>
Dan Ghica, University of Birmingham, UK <br>Joshua Guttman, Worcester Polytechnic Institute, MA, US <br>Thomas Hildebrandt, University of Copenhagen, Denmark <br>Paul Keir, Codeplay Ltd, UK <br>Hans-Wolfgang Loidl, Heriot-Watt University, UK <br>
Conor McBride, University of Strathclyde, UK<br>Jeremy Singer, University of Glasgow, UK<br>Sven-Bodo Scholz, Heriot-Watt University, UK <br>Nikhil Swamy, Microsoft Research, US<br>Wim Vanderbauwhede (co-chair), University of Glasgow, UK<br>
Hugo Torres Vieira, Universidade de Lisboa, Portugal <br>Nobuko Yoshida (co-chair), Imperial College London, UK<br><br><br>** Organizing Committee **<br><br>Alastair Beresford, University of Cambridge, UK<br>Kohei Honda, Queen Mary, University of London, UK<br>
Simon Gay, University of Glasgow, UK<br>Alan Mycroft, University of Cambridge, UK<br>Vasco Vasconcelos, University of Lisbon, Portugal<br>Nobuko Yoshida, Imperial College London, UK<br><br><br>
</div><br><br clear="all"><br>-- <br>If it's pointless, what's the point?<br>If there is a point to it, what's the point?<br>(Tibor Fischer, "The Thought Gang")<br>