The 5th VERSEN Workshop on Programming Languages in The NetherlandsPLNL 2025
We are happy to invite you to participate in the 5th VERSEN Workshop on Programming Languages in The Netherlands (PLNL 2025) at CWI in Amsterdam. The purpose of PLNL is to bring together researchers in the area of Programming Languages in North-West Europe. The workshop targets Programming Language research in the broad sense. This includes but is not limited to:
- The design, implementation, theory, application, and teaching of Programming Languages.
- Front-ends, including textual languages, domain-specific languages, visual notations, user interfaces, mechanisms, interaction design, and user-centric design.
- Back-ends, including runtimes, just-in-time compilation, bytecode generation and optimization.
- Industry applications, case studies.
- Contributions from adjacent fields that overlap with these topics are also welcome.
Venue
PLNL 2025 will take place at Centrum Wiskunde & Informatica, which is located at the Science Park in Amsterdam. Specific information on the workshop room and schedule will be provided on this website. For general information on visiting CWI please see: https://www.cwi.nl/en/about/visitor-information/
Accepted Talks
Call for Talk Proposals
Workshop Format
The workshop will consist of a number of contributed talks. We strive to have interactive sessions with plenty of discussion by the audience. Talk slots will be approximately 20 minutes, including at least 5 minutes for the audience to ask questions and raise discussions.
The coffee and lunch breaks will allow for networking with colleagues and meeting new people. Junior and senior researchers are equally welcome and encouraged to submit a talk proposal, and we also invite industry experts who put theory into practice.
Researchers from neighbouring countries like Belgium or Germany, are also welcome to participate. To accommodate extra travel time, the workshop starts at 10:30. The language of the workshop is English.
Submission Details
Talk proposals should be described in an abstract of at most 400 words. Proposals should be relevant to the area, but need not represent original work. Talks on recently published work, work in progress, or ongoing case studies are also welcome.
Submission deadline has passed.
Registration
Participation is free of charge, but registration is mandatory.
PLNL is sponsored by VERSEN and offers a free lunch to registered participants.
Please register, and let us know your dietary restrictions, using this form: https://forms.gle/stGVy59VuWSKjrXs5
Registration deadline: Friday November 14th.
This program is tentative and subject to change.
Fri 28 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:30 | Walk inPLNL 2025 | ||
09:30 - 10:30 | Reflections and Rediscoveries in Programming Language HistoryPLNL 2025 | ||
09:30 15mTalk | What Can We Learn from the History of Programming Languages PLNL 2025 Vadim Zaytsev University of Twente | ||
09:45 15mTalk | Once Upon a Cursor: A Tale of Indirect Code Completion PLNL 2025 | ||
10:00 15mTalk | The Amsterdam Plot: a big mistake? PLNL 2025 Hans-Dieter Hiep NLnet Foundation | ||
10:15 15mTalk | On the Phenomenon of Fourth Generation Languages PLNL 2025 | ||
10:30 - 11:00 | Coffee BreakPLNL 2025 | ||
11:00 - 12:00 | Live Programming, Debugging, and SynthesisPLNL 2025 | ||
11:00 15mTalk | Herb.jl: A Fast and Efficient Program Synthesis Library PLNL 2025 Reuben Gardos Reid TU Delft, The Netherlands | ||
11:15 15mTalk | Omniscient Debugging Meets Domain-Specific Languages for Live Programming PLNL 2025 | ||
11:30 15mTalk | SpaceTime Programming: Live and Omniscient Exploration of Code and Execution PLNL 2025 Jean-Baptiste Döderlein ENS Rennes | ||
11:45 15mTalk | Parameterised Parse Forests PLNL 2025 Jeff Smits Delft University of Technology | ||
12:00 - 13:30 | LunchPLNL 2025 | ||
13:30 - 14:45 | Foundations, Verification, and SemanticsPLNL 2025 | ||
13:30 15mTalk | Modelling Coinductive Types with Restricted Branching PLNL 2025 | ||
13:45 15mTalk | Partial Reductions for Kleene Algebra with Single-Word Hypotheses PLNL 2025 | ||
14:00 15mTalk | Verified Translation of Guarded Programs PLNL 2025 David Läwen Radboud University | ||
14:15 15mTalk | Session Types with Explicit Exceptions PLNL 2025 | ||
14:30 15mTalk | The functional essence of imperative binary search trees PLNL 2025 Wouter Swierstra Utrecht University, Netherlands | ||
14:45 - 15:15 | Coffee BreakPLNL 2025 | ||
15:15 - 16:30 | Languages, DSLs, and Coordination in PracticePLNL 2025 | ||
15:15 15mTalk | Nelumbo Logic Meta Language PLNL 2025 | ||
15:30 15mTalk | Accelerate and its new Work Assisting scheduler PLNL 2025 | ||
15:45 15mTalk | A P4-like DSL in Haskell PLNL 2025 Tommaso Pacciani University of Amsterdam | ||
16:00 15mTalk | The State of Reowolf PLNL 2025 Christopher Esterhuyse University of Amsterdam | ||
16:15 15mTalk | Safe and maintainable staged interpretation across languages PLNL 2025 | ||