European Lisp Symposium

- 2024, Vienna
(and online)
The conference is over!

Highlights

  • Keynote: Bias is a bug; but not as we know it!

    • photo Julian Padget Julian Padget (SPEAKER KEYNOTE) UK

    Algorithmic model construction is now accepted technology. Using some data to train a model is commonplace and machine learning has percolated down to the first-year CS curriculum. Testing such models is quite difficult, because conventional approaches learned from conventional programming provide only limited coverage. Furthermore, metrics offer big picture performance but may disguise edge cases. One significant worry is that such systems exhibit differential treatment of individuals or groups because the algorithm has identified an attribute relationship in the data that does not align with the system's business requirements. This is typically referred to (wrongly!) as a `biased' output. We start by examining the language of bias in algorithmic models and argue that (unwanted) bias is a (latent) bug. However, this bug typically has complex causes, as well as the possibility of morphing over time into bias that does align with the requirements. In consequence, we will continue by exploring how consideration of bias can be incorporated into the system life cycle and put forward some strategies for thinking about bias-related debugging.

  • Keynote: Is the Hype Cycle Real?

    • photo Stavros Macrakis Stavros Macrakis (SPEAKER KEYNOTE)

    Some technologies have grown steadily and undramatically over the years; others have been transient successes, or have been relegated to narrow application areas. How can we benefit from the long-term perspective to understand what might happen with today's most hyped technologies?

  • Keynote: The Need for Symbolic AI Programming Languages in the Public Sector

    • photo Markus Triska Markus Triska (SPEAKER KEYNOTE)

    Rising expectations in public IT-services lead to increasing implementation complexity at a time where many of the programmers who initially built these services retire. The cost and complexity of building reliable e-government services also depend on the used programming languages. We would greatly benefit from better technologies to create and maintain IT-services that let us flexibly state and reason about laws and regulations on which administrations are based. Our recent experiences in the department V/B/5 of the Austrian Federal Ministry of Finance indicate that symbolic AI programming languages such as Lisp and Prolog are well suited for this purpose. The e-government service Grants4Companies is a recent application of such technologies in the public sector, and is made available to companies via the Austrian Business Service Portal.

Location

photo ELS happens in the Sky Lounge, in collaboration with the Centre for Computers and Law of the University of Vienna https://event.univie.ac.at/en/venue-management/locations-and-rooms/oskar-morgenstern-platz-1/sky-lounge/ (CONFERENCE) Oskar Morgenstern Platz 1 1090 Vienna Austria

Reachability

ELS will happen in the Sky Lounge of the University of Vienna; that's only a few minutes walk from the underground line U4, stations "Rossauer Lände" or "Schottenring".

SBCL25 will be held at the BRZ (but we're handling the registrations), also on the U4, near "Landstraße". Please have a look at this page for more information.

Tourism

Public transport information

There are train lines from/to the airport; the special "CAT" ("City Airport Train") costs some more (about 5x) but takes about the same time, so I recommend to avoid it and use the normal train lines instead.

These trains go to "Hauptbahnhof" (U1, red) or later on "Meidling" (U6, brown); or, the other main direction is to "Landstraße" (U3, U4).

If you use day/week/etc. tickets for Vienna you can tell that to the ticket machine (there'll be a button "I have a ticket for Vienna"), so you only need to pay for the outside-of-Vienna-half of the ride, that's only €2,00. Coins recommended ;)

Vienna has good public transportation. Here's a PDF showing only the underground and railways -- busses and trams are not included! The android app Transportr (FDroid, Google Play) supports ÖBB and Wiener Linien.

My recommendation is to buy day tickets and/or a 72-hour and/or 7-day tickets (depending on how long you stay); this is much easier and cheaper than paying for every individual ride. You can buy these at the ticket automats at the airport already.

Please note that there are week and 7-day tickets -- the "week tickets" always start on Monday!

There's even a 31-days ticket.

Some events at around the time of the conference may be of interest.

May 1st is a public holiday in Austria, see eg. https://www.stadt-wien.at/veranstaltungen/1-mai.html.

Vienna has quite a few museums and other underworldly (interesting!) attractions; here's an event calender for the time range around ELS (and SBCL25).

The tourism portal is https://www.wien.info/en.

Weekend activity for May 5th

  • Meeting in Vienna
  • Public transport to Hinterbrühl (fare outside Vienna is organized)
  • Visiting "Seegrotte", Europe's largest underground lake
  • Lunch (a few menues organized, including vegetarian)
  • Public transport back to Vienna
  • Guided tour through the Vienna Observatory

Organization

Programme Chair

  • photo Giuseppe Attardi Giuseppe Attardi University of Pisa (PROGRAMME-CHAIR) Italy

Organizing Chair

Local Chair

  • photo Philipp Marek Philipp Marek BRZ (LOCAL-CHAIR) Vienna Austria

Committee

  • photo Ambrose Bonnaire-Sergeant Ambrose Bonnaire-Sergeant Untypable LLC (COMMITTEE)
  • photo Frédéric Peschanski Frédéric Peschanski LIP6/Sorbonne Université (COMMITTEE)
  • photo Jay McCarthy Jay McCarthy UMass Lowell (COMMITTEE)
  • photo Jim Newton Jim Newton EPITA Research Lab (COMMITTEE)
  • photo Kai Selgrad Kai Selgrad OTH Regensburg (COMMITTEE)
  • photo Mark Evenson Mark Evenson not.org (COMMITTEE)
  • photo Michael Raskin Michael Raskin LaBRI/CNRS UMR 5800, University of Bordeaux (COMMITTEE)
  • photo Robert Smith Robert Smith HRL Laboratories LLC (COMMITTEE)
  • photo Robert P. Goldman Robert P. Goldman SIFT LLC (COMMITTEE)
  • photo Stefan Monnier Stefan Monnier Université de Montréal (COMMITTEE)

Virtualization Team

  • photo Georgiy Tugai Georgiy Tugai Configura (VIRTUALIZATION) Sweden
  • photo Yukari Hafner Yukari Hafner Shinmera https://shinmera.com Shirakumo.org (VIRTUALIZATION SPEAKER) Switzerland

Programme

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

  2. Registration, badges, t-shirts, meet and greet

  3. Welcome messages and announcements

  4. Keynote: The Need for Symbolic AI Programming Languages in the Public Sector

    • Markus Triska
  5. Coffee Break

  6. Keynote: Is the Hype Cycle Real?

    • Stavros Macrakis
  7. Lunch

  8. Research Paper: R7RS Large Status and Progress

    • Daphne Preston-Kendal
  9. Demonstration: The Medley Interlisp Revival

    • Andrew Sengul
  10. Demonstration: Lisp Query Notation—A DSL for Data Processing

    • Anders Hoff
  11. Coffee Break

  12. Research Paper: Grants4Companies: The Common Lisp PoC

    • Philipp Marek
    • Bjoern Lellmann
    • Markus Triska
  13. Demonstration: An Introduction to Array Programming in Petalisp

    • Marco Heisig
  14. Lightning Talks

  15. Conference dinner (on site -- until 20:30)

  16. May 7th

  17. Registration, badges, t-shirts, meet and greet

  18. Keynote: Bias is a bug; but not as we know it!

    • Julian Padget
  19. Coffee Break

  20. Research Paper: Adaptive Hashing

    • Gábor Melis
  21. Research paper: Period Information Extraction: A DSL Solution to a Domain Problem

    • Arthur Evensen
  22. Demonstration: the Quickref Cohort

    • Didier Verna
  23. Lunch

  24. Research paper: py4cl2-cffi: Using CPython's C API to Call Python Callables from Common Lisp

    • Shubhamkar Ayare
  25. Demonstration: Qlot, a Project-Local Library Installer

    • Eitaro Fukamachi
  26. Demonstration: Murmel and JMurmel

    • Robert Mayer
    • Thomas Östreicher
  27. Coffee Break

  28. Lightning Talks

Proceedings

You can find the proceedings in PDF form here:

../static/proceedings/2024.pdf

Please wait...