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