[ecoop-info] Curry On and ECOOP 2019: Call for Participation

Edd Barrett edd at theunixzoo.co.uk
Mon Jun 10 12:00:22 CEST 2019

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


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!


  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
  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 ecoop-info mailing list