[TYPES/announce] [APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems

[Luminous Fennell]

                           === 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:
--------------

Andreas Abel: 
    Coinductive programming with copatterns

Arthur Chargueraud: 
    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 Moeller: 
    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 Remy: 
    Ornaments in ML

Francesco Ranzato: 
    Abstract Interpretation of Supermodular Games

Ilya Sergey: 
    Verification of Fine-Grained Concurrent Programs

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