[TYPES/announce] [APLS2015] 2nd Call for Participation

[Luminous Fennell]

                           === 2nd Call for Participation ===

Workshop: Advances in Programming Languages and Systems
Date:     December 15 - 16, 2015
Venue:    Frankfurt, Germany
Website:  http://proglang.informatik.uni-freiburg.de/APLS2015/

Scope:
------

Advances in programming language research increasingly influence the
world of software development and big software companies recognize the
importance of research areas like functional programming, static
program analysis, run-time verification, automated software
engineering and debugging as well as automated verification
techniques.

This workshop is an opportunity to interact with leading international
researchers in these areas, to receive crucial impulses, and to
cultivate and maintain new and old collaborations and liaisons.

The talks will be given by prominent members of the programming
languages research community and cover a wide area of topics inside
this field. The list of talks can be found below. For further
information please visit

http://proglang.informatik.uni-freiburg.de/APLS2015/

The workshop is sponsored by the DFG.


List of talks:
--------------

(Please see http://proglang.informatik.uni-freiburg.de/APLS2015/#program for
further details and updates)

Andreas Abel: 
   Coinductive programming with copatterns

Arthur Charguéraud: 
   Machine-checked verification of amortized complexity analyses

Dominique Devriese: 
   Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Sophia Drossopoulou: 
   Reasoning about Programs in the Presence of Code of Unknown Provenance

Joshua Dunfield: 
   Evaluation-order Polymorphism

Matthew Fluet: 
   Type- and Control-Flow Analysis

Christian Hammer: 
   Declassification in the Browser

Atsushi Igarashi: 
   A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers

Ranjit Jhala: 
   Bounded Refinement Types

Ivan Lanese: 
   Reversible Concurrent Systems

Anders Møller: 
   Message Safety in Dart

Keiko Nakata: 
   Formal Verification of a Microkernel at FireEye

James Noble: 
   On Grace

Klaus Ostermann: 
   Automatic Refunctionalization

Matthew Parkinson: 
   The Push/Pull Model of Transactions

Didier Rémy: 
   Ornaments in ML

Francesco Ranzato: 
   Analysing Completeness in Program Analysis

Ilya Sergey: 
   Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

Jeremy Siek: 
   A Tracing JIT for a Functional Language

Wouter Swierstra: 
   Auto in Agda

Peter Thiemann: 
   Derivatives in Program Analysis

Vasco Vasconcelos: 
   Advances in Session Types



Organizers:
-----------
Luminous Fennell, University of Freiburg
Peter Thiemann, University of Freiburg