ICFP/SPLASH 2025 (series) / PAINT 2025 (series) /
PAINT 2025 Program
This is the PAINT 2025 program - see the full program for ICFP/SPLASH 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Wed 15 OctDisplayed time zone: Perth change
Wed 15 Oct
Displayed time zone: Perth change
13:40 - 15:20 | Session 1PAINT at Peony NE Chair(s): Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany | ||
13:40 70mTalk | [Invited Talk] Notational Freedom via Self-Raising Diagrams PAINT Joel Jakubovic Charles University in Prague Link to publication Media Attached | ||
14:50 30mTalk | 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 DOI Pre-print | ||
16:00 - 17:40 | Session 2PAINT at Peony NE Chair(s): Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany | ||
16:00 30mTalk | TIDE: An Educational Live Programming Environment to Compose Graphics with PyTamaro PAINT Joey Bevilacqua USI Lugano, Nathan Coquerel Rennes University, Luca Chiodini USI Lugano, Igor Moreno Santos USI Lugano, Matthias Hauswirth USI Lugano DOI Pre-print Media Attached | ||
16:30 30mTalk | The MNL: A Block-based Functional Programming Language with Reactive Blocks PAINT Steven Lolong University of Tübingen DOI Pre-print | ||
17:00 30mTalk | Toward Bridging the Tool Gap: Equipping Large Language Models with Tools to Answer Programmers’ Questions PAINT Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Toni Mattis University of Potsdam; Hasso Plattner Institute, Tom Beckmann Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam DOI Pre-print | ||
17:30 10mDay closing | Closing PAINT | ||