ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense.

This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers.

We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.

What’s with the OO?

The OO in ECOOP has traditionally stood for “object-oriented”. These days, while the conference absolutely welcomes papers that relate to OO, the scope of ECOOP is much broader and encompasses the Programming Languages field as a whole. Think of the conference as being called “ECOOP: the European COnference On Programming languages”.

Keynotes

Automatic Differentiation for Dummies

Simon Peyton Jones

Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)

Ilya Sergey

Rethinking Compositionality: Composing Proofs From Program Behaviours

Azadeh Farzan

Summer School

Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior

Bart Jacobs

Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?

Ben Livshits

Origami Programming for Fun and Profit

Jeremy Gibbons

POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago

Stephen Leach

Remolding the development experience

Tudor Gîrba

Interactive Decentralised Software Made Easy

Mira Mezini

How to design a programming language

Alan Blackwell

Operational Semantics driving the Type System Design: Reference Capabilities in Pony

Sophia Drossopoulou

SM4E - Self-Marketing for Engineers

Chris Laffra

Gillian: A General Static Analysis Framework based on Separation Logic

Philippa Gardner

ECOOP registration is now open!

Accepted Papers

The accepted papers are available.

NEW for 2019:

• Alternative paper categories
• Journal First publication routes

See the Call for Papers for details.