=== 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
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
