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. All talks take place in the Ada room (CWI L017), located at the ground floor of CWI. To reach the Ada room, you need to enter the entrance numbered 123 on the following map https://www.cwi.nl/documents/199321/Bezoekersplattegrond_Amsterdam_Science_Park_2022.pdf. All breaks, lunch and drinks take place at the CWI Forum (the main hall), directly adjacent to the Ada room. Please see the workshop program for more details.
CWI is easily reachable by public transport. Should you come by car, please register your license plate with CWI’s reception at the front desk before 15:00 to avoid parking costs.
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 15 minutes, including 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. To adjust for the higher number of 18 accepted talks, we will start at the earlier time of 9:30 (walk-in from 9:00). We acknowledge that this complicates traveling from a greater distance, and we hope it does not cause any major inconvenience.
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.
Registration is closed.
Fri 28 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:30 | |||
09:30 15mTalk | What Can We Learn from the History of Programming Languages PLNL 2025 Vadim Zaytsev University of Twente File Attached | ||
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 Netherlands Defence Academy File Attached | ||
10:15 15mTalk | On the Phenomenon of Fourth Generation Languages PLNL 2025 | ||
11:00 - 12:00 | |||
11:00 15mTalk | Herb.jl: A Fast and Efficient Program Synthesis Library PLNL 2025 Reuben Gardos Reid Delft University of Technology (TU Delft) | ||
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 | ||
13:30 - 14:45 | |||
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 | ||
15:15 - 16:30 | |||
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 Link to publication DOI Pre-print File Attached | ||
16:15 15mTalk | Safe and maintainable staged interpretation across languages PLNL 2025 | ||