European Lisp Symposium

- 2019, Genova
The conference is over!
The conference was co-located with Programming 2019


  • Keynote: 20 More Years of Bootstrapping

    • photo Christophe Rhodes Christophe Rhodes (SPEAKER) England

    Although its history is longer than this, the Steel Bank Common Lisp system was announced to the world in 1999, with its distinguishing characteristic of being written in vanilla ANSI Common Lisp explicitly described in the announcement. We provide a retrospective on 20 years of development, discuss some of the features SBCL provides and the rationale behind them, and offer entirely speculative thoughts about the next 20 years of the project.

  • Keynote: The Lisp of the Prophet for the One True Editor

    • photo Stefan Monnier Stefan Monnier Université de Montréal (SPEAKER) Québec Canada

    While the editor war is long gone and Emacs's marketshare has undoubtedly shrunk, it has established itself as an important branch in the Lisp family of languages. In this talk, I will look at what gave Emacs Lisp its shape, including what it took from its siblings and ancestors and what makes it different.

  • Rebooting Racket

    • photo Matthew Flatt Matthew Flatt University of Utah (SPEAKER) USA

    Racket started in 1995 as a fusion of two off-the-shelf C/C++ libraries. From there, things got out of hand. We ended up building and maintaining a large programming language — with ambitions that span from language design to performance, from research to production — on an especially inelegant core implementation. After 2+ years of concerted effort, we have re-built Racket’s core in a more maintainable form. It’s a story as old as programming, and this particular instance looks like it will have a happy ending.


photo Hotel Bristol Palace (CONFERENCE) Via XX Settembre, 35 16121 Genova Italy


Programme Chair

  • photo Nicolas Neuss Nicolas Neuss FAU Erlangen-Nürnberg (PROGRAMME-CHAIR) Germany

Organizing Chair


  • photo Alberto Riva Alberto Riva University of Florida (COMMITTEE) USA
  • photo Alessio Stalla Alessio Stalla ManyDesigns Srl (COMMITTEE SPEAKER) Italy
  • photo Breanndán Ó Nualláin Breanndán Ó Nualláin University of Amsterdam (COMMITTEE) Netherlands
  • photo Charlotte Herzeel Charlotte Herzeel IMEC, ExaScience Life Lab (COMMITTEE) Leuven Belgium
  • photo François-René Rideau François-René Rideau (COMMITTEE)
  • photo Leonie Dreschler-Fischer Leonie Dreschler-Fischer University of Hamburg (COMMITTEE) Germany
  • photo Marc Battyani Marc Battyani Fractal Concept (COMMITTEE) France
  • photo Marco Antoniotti Marco Antoniotti Universita Milano Bicocca (COMMITTEE) Italy
  • photo Marco Heisig Marco Heisig FAU Erlangen-Nürnberg (COMMITTEE SPEAKER) Germany
  • photo Pascal Costanza Pascal Costanza IMEC, ExaScience Life Lab (COMMITTEE) Leuven Belgium
  • photo Patrick Krusenotto Patrick Krusenotto Deutsche Welle (COMMITTEE) Germany
  • photo Philipp Marek Philipp Marek (COMMITTEE) Austria
  • photo Pierre R. Mai Pierre R. Mai PMSF IT Consulting (COMMITTEE) Germany
  • photo R. Matthew Emerson R. Matthew Emerson toughtstuff LLC (COMMITTEE) USA
  • photo Sacha Chua Sacha Chua Living an Awesome Life (COMMITTEE) Canada


Times are local to the conference. You can download the programme in iCalendar format here.
  1. April 1st

  2. Registration

  3. Welcome message

  4. Keynote: The Lisp of the Prophet for the One True Editor

    • Stefan Monnier
  5. Coffee Break

  6. Pattern-Based S-Expression Rewriting in Emacs

    • Ryan Culpepper
  7. Implementing Baker’s SUBTYPEP Decision Procedure

    • Léo Valais
    • Jim Newton
    • Didier Verna

    • Irène Anne Durand
    • Robert Strandh
  9. Lunch

  10. Finite Automata Theory Based Optimization

    • Jim Newton
    • Didier Verna
  11. Lazy, Parallel Multiple Value Reductions in Common Lisp

    • Marco Heisig
  12. Coffee Break

  13. Working with First-Order Proofs and Provers

    • Mikhail Raskin
    • Christoph Welzel
  14. Plagiarism Detection for Common Lisp

    • António Leitão
  15. Lightning Talks

  16. Social Event

  17. April 2nd

  18. Registration

  19. Keynote: 20 More Years of Bootstrapping

    • Christophe Rhodes
  20. Bootstrapping Common Lisp Using Common Lisp

    • Irène Anne Durand
    • Robert Strandh
  21. Coffee Break

  22. Shader Pipeline and Effect Encapsulation using CLOS

    • Yukari Hafner
  23. Hierarchical Task Network Planning in Common Lisp

    • Robert P. Goldman
    • Ugur Kuter
  24. Lunch

  25. Rebooting Racket

    • Matthew Flatt
  26. Coffee Break

  27. Symbols as Namespaces in Common Lisp

    • Alessio Stalla
  28. Parallelizing Quickref

    • Didier Verna
  29. Lightning Talks


You can find the proceedings in PDF form here:


Please wait...