ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Wed 15 Oct 2025 13:40 - 14:50 at Peony NE - Session 1

Some things are better drawn than coded. However, it takes a lot of work to build a custom editing interface for each new notation, discouraging experimentation. There has to be a better way than Greenspunning poor approximations of Adobe Illustrator over and over again. “Self-raising diagrams” are a promising escape from this trap. Just as source code - a static artefact - “raises itself” into a dynamic running program, a vector graphics diagram - taken to generalise source code - can similarly be parsed, interpreted, and “animated” into a GUI. Notational engineers can then focus on the notations themselves, and their semantics, having left the implementation of drawing interfaces to the experts (implementors of standard vector graphics editors). The tasks of normalising, interpreting, and transforming vector notations contain many relevant problems for the notational engineer - far more relevant than coding line rubberbanding for the umpteenth time!

This program is tentative and subject to change.

Wed 15 Oct

Displayed time zone: Perth change

13:40 - 15:20
Session 1PAINT at Peony NE
13:40
70m
Talk
[Invited Talk] Notational Freedom via Self-Raising Diagrams
PAINT
Joel Jakubovic Charles University in Prague
14:50
30m
Talk
Block-based Editing in a Textual World
PAINT
Tom Beckmann Hasso Plattner Institute, Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam