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

[Kim Bruce]

I see James is talking on Grace in Germany in December.  Looks like an interesting conference.

Kim

> Begin forwarded message:
> 
> From: Luminous Fennell <fennell at informatik.uni-freiburg.de>
> Subject: [TYPES/announce] [APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems
> Date: October 9, 2015 at 9:40:52 AM PDT
> To: <types-announce at lists.seas.upenn.edu>
> 
> [ The Types Forum (announcements only),
>     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
> 
>                           === 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
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailhost.cecs.pdx.edu/pipermail/grace-core/attachments/20151009/7cc2631d/attachment.html>