The 3rd VERSEN Workshop on Programming Languages in The NetherlandsPLNL 2023
After the successful launch of this new workshop series with PLNL’18 and PLNL’19, we are happy to invite you to give a presentation at PLNL’23 in Amsterdam. The purpose of PLNL is to bring together researchers in the area of programming languages in The Netherlands. The workshop targets programming language research in the broad sense, including, but not limited to, the design, implementation, theory, application, and teaching of programming languages.
PLNL’23 will be on June 16, 2023, at the University Library of the University of Amsterdam. Participation is free, but you will need to register.
To register, please visit URL
Call for Talk Proposals
The workshop will consist of a number of contributed talks. We strive to have interactive sessions with plenty of discussion by the audience. This year we will have 20 minute slots for presentations in which we would to have 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.
Researchers that are not from The Netherlands, but for example, from neighbouring countries like Belgium or Germany, are also welcome to participate. The language of the workshop is English.
Submissions for talk proposals should be described in an abstract of at most 300 words. Proposals do not need to represent original work. For example, proposing a talk about (recently) published work is fine.
Fri 16 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 11:00
|Advances & challenges in model-based deductive verification of programs|
Robert Rubbens University of TwenteFile Attached
|A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency|
Dan Frumin University of Groningen, Emanuele D’Osualdo MPI-SWS, Bas van den Heuvel University of Groningen, Jorge A. Pérez University of GroningenFile Attached
|Proof Automation for Disjunctions in Concurrent Separation Logic|
PLNL 2023DOI File Attached
11:30 - 12:30
|Parallel Programming With An Autonomous Data Language|
PLNL 2023File Attached
|Seaso: Logic Programming with Downstream Constraints for the Incremental Specification of Data-Exchange Systems|
Christopher Esterhuyse University of AmsterdamMedia Attached File Attached
|Embedding Generalized Parsing in Haskell|
Jaro Reinders TU DelftFile Attached
14:00 - 15:00
|Putting the PL in GamePLay: Analyzing the Expressive Power of a Game DSL|
Riemer van Rozen CWIFile Attached
|Towards Version Control for Creative Coding|
Maximilian Mayer Vrije Universiteit (VU) Amsterdam, Mauricio Verano Merino Vrije Universiteit AmsterdamFile Attached
|On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT|
Linus Wagner Vrije Universiteit Amsterdam, Maximilian Mayer Vrije Universiteit (VU) Amsterdam, Andrea Marino Vrije Universiteit (VU) Amsterdam, Alireza Soldani Nezhad , Hugo Zwaan , Ivano Malavolta Vrije Universiteit AmsterdamDOI Pre-print
15:30 - 16:30
|Deriving editor services from funcons-based language semantics|
Damian Frölich University of AmsterdamFile Attached
|Hedy programming language|
Sabina Chiță Vrije Universiteit Amsterdam
|AmPERSand: Modular Educational Programming Languages with Object Algebras|
Jesse Hoobergs KU LeuvenFile Attached