European Lisp Symposium

- 2021, Everywhere (CEST)
The conference is over!

Invited Speakers

  • Nada Amin (Harvard SEAS), Staged Relational Interpreters: Running Backwards, Faster
  • Andrew Sorensen (Australian National University), Symbolic Expressions for Cyber-Physical Programming
  • Inna Grinis and Andrew Lawson(RavenPack), Producing News Analytics and Turning them into Actionable Insights


  • Profile Profile

    Keynote: Producing News Analytics and Turning them into Actionable Insights

    • photo Andrew Lawson Andrew Lawson RavenPack (SPEAKER) Spain
    • photo Inna Grinis Inna Grinis RavenPack (SPEAKER) Spain

    We will first look at the basics of RavenPack’s news analytics system, from incoming stories to outgoing analytics and the technology involved. We will then look at several examples of how RavenPack’s news volume, sentiment scores, events taxonomy, and connections functionality can be leveraged to create data insights that can be used to make more informed decisions in the finance industry and the corporate world.

  • Profile

    Keynote: Staged Relational Interpreters: Running Backwards, Faster

    • photo Nada Amin Nada Amin Harvard SEAS (SPEAKER) USA

    Relational programming, as exemplified in miniKanren, strives to be a pure form of logic programming. Relational interpreters enable turning functions into relations, as well as synthesizing functions from partial specifications. However, however successful, the approach incurs an interpretation overhead. We turn functions into relations, while removing all interpretation overhead thanks to a novel multi-stage programming mechanism. While partial evaluation has a rich history in both functional and logic programming, multi-stage programming has so far only been explored in a functional/imperative setting, with many success stories in high-performance computing. Bringing multi-stage programming to relational programming, we derive a relational compiler from the relational interpreter. Via this compiler, we generate relations from functions with no interpretation overhead. In addition to useful first-order applications, we explore running staged relational programs backwards. In this talk, I will introduce multi-stage programming in its traditional functional setting and in the new relational setting. I will explain how to derive a compiler from an interpreter using generative programming. I will showcase the resulting staged-miniKanren system with a theorem checker turned prover and various towers of interpreters for generating quines.

  • Profile

    Keynote: Symbolic expressions for cyber-physical programming

    • photo Andrew Sorensen Andrew Sorensen Australian National University (SPEAKER) Australia

    Cyber-physical programming gives programmers the ability to engage actively and proactively in an experimental and experiential relationship with complex virtual, physical and cultural systems. Cyber-physical programming offers programmers the opportunity to actively shape and control these complex systems of events - to be engaged with them. Studying these natural events is often only possible in situ, in-the-world, within their own temporal and spatial frames of reference. Cyber-physical programming posits that a causal connection to the world is valuable and that it can be useful to privilege the present. To quote Rodney Brooks “It turns out to be better to use the world as its own model”. One of cyber-physical programming's tenets is that a program's state is not only an internal property of the machine, but is also an external property-of-the-world. This external, physical state, can be sensed and acted upon by both the machine and the programmer. The programmer is actively engaged in both perceiving and acting upon the world, directly, but also mediated through the machine. For the cyber-physical programmer, the physical environment constitutes a meaningful component of a program's state.


photo Online (CONFERENCE) Everywhere (CEST)


Programme Chair

  • photo Marco Heisig Marco Heisig FAU Erlangen-Nürnberg (PROGRAMME-CHAIR) Germany

Organizing Chair

Local Chair

  • photo Mark Evenson Mark Evenson RavenPack (LOCAL-CHAIR SPEAKER) Austria


  • photo Breanndán Ó Nualláin Breanndán Ó Nualláin Machine Learning Programs (COMMITTEE) Netherlands
  • photo Christophe Rhodes Christophe Rhodes Google (COMMITTEE SPEAKER) UK
  • photo David McClain David McClain SpectroDynamics LLC (COMMITTEE) USA
  • photo Evrim Ulu Evrim Ulu Istinye University (COMMITTEE) Turkey
  • photo Ioanna Dimitriou Ioanna Dimitriou Igalia (COMMITTEE) Germany
  • photo Irène Durand Irène Durand LaBRI University of Bordeaux (COMMITTEE) France
  • photo Jim Newton Jim Newton EPITA Research Lab (COMMITTEE SPEAKER) France
  • photo Jonathan Godbout Jonathan Godbout Google (COMMITTEE) USA
  • photo Kai Selgrad Kai Selgrad OTH Regensburg (COMMITTEE) Germany
  • photo Kent Pitman Kent Pitman Harvard Medical School (COMMITTEE) USA
  • photo Matthew Flatt Matthew Flatt University of Utah (COMMITTEE) USA
  • photo Michael Sperber Michael Sperber DeinProgramm (COMMITTEE) Germany
  • photo Olin Shivers Olin Shivers Northeastern University (COMMITTEE) USA
  • photo Paulo Matos Paulo Matos Igalia (COMMITTEE) Germany
  • photo R. Matthew Emerson R. Matthew Emerson toughtstuff LLC (COMMITTEE) USA
  • photo Robert Smith Robert Smith HRL Laboratories (COMMITTEE) USA
  • photo Stefan Monnier Stefan Monnier University of Montreal (COMMITTEE) Canada

Virtualization Team

  • photo Georgiy Tugai Georgiy Tugai Configura (VIRTUALIZATION) Sweden
  • photo Michał Herda Michał Herda (VIRTUALIZATION) Poland


Times are local to the conference. You can download the programme in iCalendar format here.
  1. May 3rd

  2. Broadcast start

  3. Welcome Message

  4. Auction Start

  5. Keynote: Symbolic expressions for cyber-physical programming

    • Andrew Sorensen
  6. Coffee Break

  7. A Tangram Puzzle Solver in Common Lisp

    • Michael Wessel
  8. A Portable, Simple, Embeddable Type System

    • Jim Newton
    • Adrien Pommellet
  9. Lunch

  10. Common Lisp Project Manager

    • Eric Timmons
  11. A Corpus Processing and Analysis Pipeline for Quickref

    • Antoine Hacquard
    • Didier Verna
  12. Coffee Break

  13. Lisp in the middle: using Lisp to manage a Linux system

    • Mikhail Raskin
  14. Panel Discussion: Implementations of ANSI Common Lisp

    • Mark Evenson
    • Daniel Kochmański
    • Christophe Rhodes
    • Kevin Layer
    • Christian Schafmeister
  15. Lightning Talks

  16. Get-together

  17. May 4th

  18. Broadcast start

  19. Keynote: Producing News Analytics and Turning them into Actionable Insights

    • Andrew Lawson
    • Inna Grinis
  20. Coffee Break

  21. A replicated object system

    • Hayley Patton
  22. aether: Distributed system emulation in Common Lisp

    • Eric Peterson
    • Peter Karalekas
  23. Lunch

  24. A Scheme Foreign Function Interface to JavaScript Based on an Infix Extension

    • Marc-André Bélanger
    • Marc Feeley
  25. Call-site optimization for Common Lisp

    • Robert Strandh
  26. Coffee Break

  27. Keynote: Staged Relational Interpreters: Running Backwards, Faster

    • Nada Amin
  28. Lightning Talks

  29. Auction Stop

  30. Closing Ceremony


You can find the proceedings in PDF form here:


Please wait...