BEGIN:VCALENDAR
PRODID:-//european lisp symposium//NONSGML events//EN
VERSION:2.0
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T143000Z
UID:european-lisp-symposium.org/2023#2023-04-25T16:30:00+02:00
CATEGORIES:talk
SUMMARY:Enlightening Lightning Talks
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T153000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T133000Z
UID:european-lisp-symposium.org/2023#2023-04-25T15:30:00+02:00
CATEGORIES:talk
CATEGORIES:keynote
CONTACT:Gerald J. Sussman
SUMMARY:Keynote (remote): Artificial Intelligence: a Problem of Plumbing?
DESCRIPTION:We have made amazing progress in the construction and deployme
 nt of systems that do work originally thought to require human-like intel
 ligence.  On the symbolic side we have world-champion Chess-playing and G
 o-playing systems. We have deductive systems and algebraic manipulation s
 ystems that exceed the capabilities of human mathematicians.  We are now 
 observing the rise of connectionist mechanisms that appear to see and hea
 r pretty well\, and chatbots that appear to have some impressive linguist
 ic ability.  But there is a serious problem.  The mechanisms that can dis
 tinguish pictures of cats from pictures of dogs have no idea what a cat o
 r a dog is. The chatbots have no idea what they are talking about.  The a
 lgebraic systems do not understand anything about the real physical world
 .  And no deontic logic system has any idea about feelings and morality.\
 n\nSo what is the problem?  We generally do not know how to combine syste
 ms so that a system that knows how to solve problems of class A and anoth
 er system that knows how to solve problems of class B can be combined to 
 solve not just problems of class A or class B but can solve problems that
  require both skills that are needed for problems of class A and skills t
 hat are needed for problems of class B.\n\nPerhaps this is partly a probl
 em of plumbing.  We do not have linguistic structures that facilitate dis
 covering and building combinations.  This is a fundamental challenge for 
 the programming-language community.  We need appropriate ideas for abstra
 ct plumbing fittings that enable this kind of cooperation among disparate
  mechanisms.  For example\, why is the amazingly powerful tree exploratio
 n mechanism that is used for games not also available\, in the same syste
 m\, to a deductive engine that is being applied to a social interaction p
 roblem?\n\nI will attempt to elucidate this problem and perhaps point at 
 avenues of attack that we may work on together.
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T143000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T123000Z
UID:european-lisp-symposium.org/2023#2023-04-25T14:30:00+02:00
CATEGORIES:talk
CONTACT:Alexander Wood
CONTACT:Charles Zhang
CONTACT:Christian Schafmeister
SUMMARY:Research Paper: Design of an Efficient Lisp Bytecode Machine and C
 ompiler
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T130000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T120000Z
UID:european-lisp-symposium.org/2023#2023-04-25T14:00:00+02:00
CATEGORIES:talk
CONTACT:Hayley Patton
SUMMARY:Research Paper (remote): Parallel Garbage Collection for SBCL
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T123000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T100000Z
UID:european-lisp-symposium.org/2023#2023-04-25T12:00:00+02:00
CATEGORIES:demo
CONTACT:Fábio Almeida
SUMMARY:Sponsored: SISCOG - 35 years of keeping trains on track
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T103000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T093000Z
UID:european-lisp-symposium.org/2023#2023-04-25T11:30:00+02:00
CATEGORIES:demo
CONTACT:Yukari Hafner
SUMMARY:Experience Report: Kandria - A Game in Common Lisp
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T100000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T090000Z
UID:european-lisp-symposium.org/2023#2023-04-25T11:00:00+02:00
CATEGORIES:demo
CONTACT:Alejandro Zamora Fonseca
SUMMARY:Demonstration (remote): A stepper for Armed Bear Common Lisp (ABCL
 )
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T093000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230425T073000Z
UID:european-lisp-symposium.org/2023#2023-04-25T09:30:00+02:00
CATEGORIES:talk
CATEGORIES:keynote
CONTACT:Michael Vollmer
SUMMARY:Keynote: A Language-Based Approach to Programming with Serialized 
 Data
DESCRIPTION:It is common for software running today to use object represen
 tations fixed by the language runtime system\; both the Java and Haskell 
 runtimes dictate an object layout\, and the compiler must stick to it for
  all programs. And yet when humans optimize a program\, one of their prim
 ary levers on performance is changing data representation. For example\, 
 an HPC programmer knows how to pack a regular tree into a byte array for 
 more efficient access. Unfortunately\, this is error-prone\, making it an
  undesirable way to achieve performance optimization at the expense of sa
 fety and readability.\n\nFurthermore\, whenever a program receives data f
 rom the network or disk\, rigid insistence on a particular heap layout ca
 uses an impedance mismatch we know as deserialization. Data represented i
 n memory has pointers and arbitrary\, sparse layout\, while data on disk 
 is packed contiguously\, so data must be transformed from one form to ano
 ther and back.\n\nProgramming with serialized data is a technique for uni
 fying the in-memory and on-disk representations of data\, where the seria
 lized form is used both on-disk and in-memory. This technique allows data
  processing programs to skip the deserialization/reserialization steps by
  operating directly on the data in its serialized form. It also represent
 s a principled approach to optimizing programs by compacting data represe
 ntations\, which increases locality and minimizes indirection.\n\nIn this
  talk\, I will present a programming language\, LoCal\, for programming w
 ith serialized data. I will also describe Gibbon\, an experimental compil
 er that automatically transforms functional programs to operate on serial
 ized data.
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230425T083000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T143000Z
UID:european-lisp-symposium.org/2023#2023-04-24T16:30:00+02:00
CATEGORIES:talk
SUMMARY:Enlightening Lightning Talks
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T163000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T133000Z
UID:european-lisp-symposium.org/2023#2023-04-24T15:30:00+02:00
CATEGORIES:talk
CATEGORIES:keynote
CONTACT:Felienne Hermans
SUMMARY:Keynote: Hedy: Gradual\, Multi-Lingual\, and Teacher-Centric\nProg
 ramming Education
DESCRIPTION:When kids learn to program they often use either a visual lang
 uage like Scratch\, or a textual language like Python. While visual langu
 ages are great for the first steps\, children and educators often want to
  move on to textual languages. However\, early on\, a textual language an
 d its error messages can be scary. Hedy aims to bridge this gap with a pr
 ogramming language that is gradual\, using different language levels.\n\n
 In level 1\, there is hardly any syntax at all\; printing is done with: p
 rint hello!\n\nAt every level\, new syntax and concepts are added\, so le
 arners do not have to master everything at once. Hedy builds up to a subs
 et of Python including conditions\, loops\, variables\, and lists.\n\nTo 
 make learning as accessible as possible\, Hedy also allows for the use of
  localized keywords\, f.e in Spanish: imprimir Hello! Hedy (www.hedy.org)
  was launched in early 2020 and over 5 million Hedy progams have been cre
 ated to date\, and has been translated into 46 languages.
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T143000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T123000Z
UID:european-lisp-symposium.org/2023#2023-04-24T14:30:00+02:00
CATEGORIES:demo
CONTACT:Panicz Maciej Godek
SUMMARY:Demonstration: GRASP: An Extensible Tactile Interface for Editing 
 S-expressions
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T130000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T120000Z
UID:european-lisp-symposium.org/2023#2023-04-24T14:00:00+02:00
CATEGORIES:talk
CONTACT:Jim Newton
SUMMARY:Research Paper: An Elegant and Fast Algorithm for Partitioning Typ
 es
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T123000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T100000Z
UID:european-lisp-symposium.org/2023#2023-04-24T12:00:00+02:00
CATEGORIES:talk
CONTACT:Marcelo Santos
CONTACT:Antonio Leitao
SUMMARY:Research Paper: A Minimal Run-Time Overhead Metaobject Protocol fo
 r Julia
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T103000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T093000Z
UID:european-lisp-symposium.org/2023#2023-04-24T11:30:00+02:00
CATEGORIES:talk
CONTACT:Didier Verna
SUMMARY:Research Paper: A MOP-Based Implementation for Method Combinations
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T100000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T080000Z
UID:european-lisp-symposium.org/2023#2023-04-24T10:00:00+02:00
CATEGORIES:talk
CATEGORIES:keynote
CONTACT:Sung-Shik Jongmans
SUMMARY:Keynote: Run-Time Verification of Communication Protocols in Cloju
 re
DESCRIPTION:To simplify shared-memory concurrent programming\, languages h
 ave started to offer core support for high-level communications primitive
 s\, in the form of message passing though channels\, in addition to lower
 -level synchronization primitives.  Yet\, a growing body of evidence sugg
 ests that channel-based programming abstractions also have their issues.\
 n\nThe Discourje project aims to help programmers cope with channels and 
 concurrency bugs in Clojure programs\, based on dynamic analysis. The ide
 a is that programmers write not only implementations of communication pro
 tocols in their Clojure programs\, but also specifications.  Discourje th
 en offers a run-time verification library to ensure that channel actions 
 in implementations are safe relative to specifications.
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T090000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T074500Z
UID:european-lisp-symposium.org/2023#2023-04-24T09:45:00+02:00
CATEGORIES:organization
SUMMARY:Welcome message and announcements
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T080000Z
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260118T160348Z
DTSTART:20230424T070000Z
UID:european-lisp-symposium.org/2023#2023-04-24T09:00:00+02:00
CATEGORIES:organization
SUMMARY:Registration\, badges\, meet and greet
DESCRIPTION:
LOCATION:Science Park 608\, 1098 XH Amsterdam\, Nederlands
DTEND:20230424T074500Z
END:VEVENT
END:VCALENDAR