[TYPES/announce] Curry On and ECOOP 2019: Call for Participation

Edd Barrett edd at theunixzoo.co.uk
Mon Jun 10 06:18:45 EDT 2019


============================================================================
                           Curry On & ECOOP 2019
                                   London
                            Mon 15 - Fri 19 July
                           Call for Participation

                          https://2019.ecoop.org/
============================================================================

The Curry On and ECOOP programmes are now available and registration is
open. Highlights range from a closing keynote on Thursday from Simon Peyton
Jones to a keynote from Cynthia Solomon on the original design of Logo.

Early registration closes on June 14th, so don't wait too long!


 Curry On keynotes
===================

  Lars Bak
    The Making of a Secure and Robust IoT Development Platform
  Cynthia Solomon
    Logo, A Computer Language to Grow With
  Ashley Williams
  Simon Marlow
    Glean: facts about code


 ECOOP keynotes
================

  Azadeh Farzan
    Rethinking Compositionality: Composing Proofs From Program Behaviours
  Ilya Sergey
    Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)
  Simon Peyton Jones
    Automatic Differentiation for Dummies

Plus ECOOP itself has new paper categories! From research papers to tool
insights papers to pearls and more. And don't forget the ECOOP Summer School
for PhD students!


 Workshops
===========

  AORTA
  BenchWork
  COP: Context-Oriented Programming and Advanced Modularity
  FTfJP: Formal Techniques for Java-like Programs
  ICOOOLPS: Implementation, Compilation, Optimization of Object-Oriented
    Languages, Programs and Systems
  PASS: Programming Across the System Stack
  Panathon
  Scala Symposium
  VORTEX: Verification of Objects at Runtime Execution

Please check the workshop sites for more details, such as the Scala
Symposium keynote "Silicon at the Speed of Software: From Circuits to
Systems" by Henry Cook.


More information about the Types-announce mailing list