PLNL 2025
Fri 28 Nov 2025
Amsterdam, Netherlands
Toggle navigation
Attending
Venue: Centrum Wiskunde & Informatica (CWI)
Program
PLNL Program
Your Program
Fri 28 Nov
Track/Call
Organization
PLNL 2025 Committees
Steering Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
PLNL 2025
PLNL 2024
PLNL 2023
PLNL 2019
PLNL 2018
Sign in
Sign up
PLNL 2025 (
series
) /
Centrum Wiskunde & Informatica (CWI)
/
Room information: CWI L017 - Ada
Venue
Centrum Wiskunde & Informatica (CWI)
Room name
CWI L017 - Ada
Floor
0
Room number
L017
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Cancun
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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:30 - 10:30
Reflections and Rediscoveries in Programming Language History
PLNL 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
File Attached
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
11:00 - 12:00
Live Programming, Debugging, and Synthesis
PLNL 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
13:30 - 14:45
Foundations, Verification, and Semantics
PLNL 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
15:15 - 16:30
Languages, DSLs, and Coordination in Practice
PLNL 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
Link to publication
DOI
Pre-print
File Attached
16:15
15m
Talk
Safe and maintainable staged interpretation across languages
PLNL 2025
Niek Janssen
Fri 28 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
CWI L017 - Ada
PLNL 2025
Reflections and Rediscoveries in Programming Language History
PLNL 2025
Live Programming, Debugging, and Synthesis
PLNL 2025
Foundations, Verification, and Semantics
PLNL 2025
Languages, DSLs, and Coordination in Practice
Fri 28 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
CWI L017 - Ada
PLNL
What Can We Learn from the History of Programming Languages
09:30 - 09:45
PLNL
Once Upon a Cursor: A Tale of Indirect Code Completion
09:45 - 10:00
PLNL
The Amsterdam Plot: a big mistake?
10:00 - 10:15
PLNL
On the Phenomenon of Fourth Generation Languages
10:15 - 10:30
PLNL
Herb.jl: A Fast and Efficient Program Synthesis Library
11:00 - 11:15
PLNL
Omniscient Debugging Meets Domain-Specific Languages for Live Programming
11:15 - 11:30
PLNL
SpaceTime Programming: Live and Omniscient Exploration of Code and Exec ...
11:30 - 11:45
PLNL
Parameterised Parse Forests
11:45 - 12:00
PLNL
Modelling Coinductive Types with Restricted Branching
13:30 - 13:45
PLNL
Partial Reductions for Kleene Algebra with Single-Word Hypotheses
13:45 - 14:00
PLNL
Verified Translation of Guarded Programs
14:00 - 14:15
PLNL
Session Types with Explicit Exceptions
14:15 - 14:30
PLNL
The functional essence of imperative binary search trees
14:30 - 14:45
PLNL
Nelumbo Logic Meta Language
15:15 - 15:30
PLNL
Accelerate and its new Work Assisting scheduler
15:30 - 15:45
PLNL
A P4-like DSL in Haskell
15:45 - 16:00
PLNL
The State of Reowolf
16:00 - 16:15
PLNL
Safe and maintainable staged interpretation across languages
16:15 - 16:30
x
Wed 17 Jun 08:26