Program - PLNL 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 28 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:00 - 09:30	Walk inPLNL 2025 at CWI Forum

09:30 - 10:30	Reflections and Rediscoveries in Programming Language HistoryPLNL 2025 at CWI L017 - Ada

09:30 15m Talk		What Can We Learn from the History of Programming Languages PLNL 2025 Vadim Zaytsev University of Twente
09:45 15m Talk		Once Upon a Cursor: A Tale of Indirect Code Completion PLNL 2025 Nhat University of Twente, Vadim Zaytsev University of Twente
10:00 15m Talk		The Amsterdam Plot: a big mistake? PLNL 2025 Hans-Dieter Hiep Netherlands Defence Academy File Attached
10:15 15m Talk		On the Phenomenon of Fourth Generation Languages PLNL 2025 Ömer Faruk Sayilir University of Twente, Vadim Zaytsev University of Twente

	10:30 - 11:00	Coffee BreakPLNL 2025 at CWI Forum

11:00 - 12:00	Live Programming, Debugging, and SynthesisPLNL 2025 at CWI L017 - Ada

11:00 15m Talk		Herb.jl: A Fast and Efficient Program Synthesis Library PLNL 2025 Reuben Gardos Reid Delft University of Technology (TU Delft)
11:15 15m Talk		Omniscient Debugging Meets Domain-Specific Languages for Live Programming PLNL 2025 Jakub Kaşıkcı , Riemer van Rozen CWI
11:30 15m Talk		SpaceTime Programming: Live and Omniscient Exploration of Code and Execution PLNL 2025 Jean-Baptiste Döderlein ENS Rennes
11:45 15m Talk		Parameterised Parse Forests PLNL 2025 Jeff Smits Delft University of Technology

	12:00 - 13:30	LunchPLNL 2025 at CWI Forum

13:30 - 14:45	Foundations, Verification, and SemanticsPLNL 2025 at CWI L017 - Ada

13:30 15m Talk		Modelling Coinductive Types with Restricted Branching PLNL 2025 Anton Chernev
13:45 15m Talk		Partial Reductions for Kleene Algebra with Single-Word Hypotheses PLNL 2025 Liam Chung
14:00 15m Talk		Verified Translation of Guarded Programs PLNL 2025 David Läwen Radboud University
14:15 15m Talk		Session Types with Explicit Exceptions PLNL 2025 Thomas Somers
14:30 15m Talk		The functional essence of imperative binary search trees PLNL 2025 Wouter Swierstra Utrecht University, Netherlands

	14:45 - 15:15	Coffee BreakPLNL 2025 at CWI Forum

15:15 - 16:30	Languages, DSLs, and Coordination in PracticePLNL 2025 at CWI L017 - Ada

15:15 15m Talk		Nelumbo Logic Meta Language PLNL 2025 Wim Bast
15:30 15m Talk		Accelerate and its new Work Assisting scheduler PLNL 2025 Ivo Gabe de Wolff Utrecht University, David van Balen , Gabriele Keller Utrecht University
15:45 15m Talk		A P4-like DSL in Haskell PLNL 2025 Tommaso Pacciani University of Amsterdam
16:00 15m Talk		The State of Reowolf PLNL 2025 Christopher Esterhuyse University of Amsterdam
16:15 15m Talk		Safe and maintainable staged interpretation across languages PLNL 2025 Niek Janssen

	16:30 - 17:30	Drinks and snacksPLNL 2025 at CWI Forum

Hide past events

PLNL 2025 Program

This program is tentative and subject to change.

Fri 28 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

PLNL 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Fri 28 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Fri 28 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change