<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">I see James is talking on Grace in Germany in December. Looks like an interesting conference.<div class=""><br class=""></div><div class="">Kim<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">Begin forwarded message:</div><br class="Apple-interchange-newline"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">From: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">Luminous Fennell <<a href="mailto:fennell@informatik.uni-freiburg.de" class="">fennell@informatik.uni-freiburg.de</a>><br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Subject: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><b class="">[TYPES/announce] [APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems</b><br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Date: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">October 9, 2015 at 9:40:52 AM PDT<br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">To: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><<a href="mailto:types-announce@lists.seas.upenn.edu" class="">types-announce@lists.seas.upenn.edu</a>><br class=""></span></div><br class=""><div class="">[ The Types Forum (announcements only),<br class=""> <a href="http://lists.seas.upenn.edu/mailman/listinfo/types-announce" class="">http://lists.seas.upenn.edu/mailman/listinfo/types-announce</a> ]<br class=""><br class=""> === Call for Participation ===<br class=""><br class="">Workshop: Advances in Programming Languages and Systems<br class="">Date: December 15 - 16, 2015<br class="">Venue: Frankfurt, Germany<br class="">Website: <a href="http://proglang.informatik.uni-freiburg.de/APLS2015/" class="">http://proglang.informatik.uni-freiburg.de/APLS2015/</a><br class=""><br class="">Scope:<br class="">------<br class=""><br class="">Advances in programming language research increasingly influence the<br class="">world of software development and big software companies recognize the<br class="">importance of research areas like functional programming, static<br class="">program analysis, run-time verification, automated software<br class="">engineering and debugging as well as automated verification<br class="">techniques.<br class=""><br class="">This workshop is an opportunity to interact with leading international<br class="">researchers in these areas, to receive crucial impulses, and to<br class="">cultivate and maintain new and old collaborations and liaisons.<br class=""><br class="">The talks will be given by prominent members of the programming<br class="">languages research community and cover a wide area of topics inside<br class="">this field. The list of talks can be found below. For further<br class="">information please visit<br class=""><br class=""><a href="http://proglang.informatik.uni-freiburg.de/APLS2015/" class="">http://proglang.informatik.uni-freiburg.de/APLS2015/</a><br class=""><br class="">The workshop is sponsored by the DFG.<br class=""><br class="">List of talks:<br class="">--------------<br class=""><br class="">Andreas Abel: <br class=""> Coinductive programming with copatterns<br class=""><br class="">Arthur Chargueraud: <br class=""> Machine-checked verification of amortized complexity analyses<br class=""><br class="">Dominique Devriese: <br class=""> Reasoning about Object Capabilities with Logical Relations and Effect Parametricity<br class=""><br class="">Sophia Drossopoulou: <br class=""> Reasoning about programs in the presence of code of unknown provenance<br class=""><br class="">Joshua Dunfield: <br class=""> Evaluation-order Polymorphism<br class=""><br class="">Matthew Fluet: <br class=""> Type- and Control-Flow Analysis<br class=""><br class="">Christian Hammer: <br class=""> Declassification in the Browser<br class=""><br class="">Atsushi Igarashi: <br class=""> A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers<br class=""><br class="">Ranjit Jhala: <br class=""> Bounded Refinement Types<br class=""><br class="">Ivan Lanese: <br class=""> Reversible Concurrent Systems<br class=""><br class="">Anders Moeller: <br class=""> Message Safety in Dart<br class=""><br class="">Keiko Nakata: <br class=""> Formal Verification of a Microkernel at FireEye<br class=""><br class="">James Noble: <br class=""> On Grace<br class=""><br class="">Klaus Ostermann: <br class=""> Automatic Refunctionalization<br class=""><br class="">Matthew Parkinson: <br class=""> The Push/Pull Model of Transactions<br class=""><br class="">Didier Remy: <br class=""> Ornaments in ML<br class=""><br class="">Francesco Ranzato: <br class=""> Abstract Interpretation of Supermodular Games<br class=""><br class="">Ilya Sergey: <br class=""> Verification of Fine-Grained Concurrent Programs<br class=""><br class="">Jeremy Siek: <br class=""> A Tracing JIT for a Functional Language<br class=""><br class="">Wouter Swierstra: <br class=""> Auto in Agda<br class=""><br class="">Peter Thiemann: <br class=""> Derivatives in Program Analysis<br class=""><br class="">Vasco Vasconcelos: <br class=""> Advances in Session Types<br class=""><br class="">Organizers:<br class="">-----------<br class="">Luminous Fennell, University of Freiburg<br class="">Peter Thiemann, University of Freiburg<br class=""><br class=""></div></blockquote></div><br class=""></div></body></html>