[ecoop-info] Curry On and ECOOP 2019: Call for Participation
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
The Making of a Secure and Robust IoT Development Platform
Logo, A Computer Language to Grow With
Glean: facts about code
Rethinking Compositionality: Composing Proofs From Program Behaviours
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
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