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.
Accepted Talks
Registration
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
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. 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.
Submission details
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
09:30 - 10:00 | |||
10:00 - 11:00 | |||
10:00 20mTalk | Advances & challenges in model-based deductive verification of programs PLNL 2023 Robert Rubbens University of Twente File Attached | ||
10:20 20mTalk | A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency PLNL 2023 Daniel Frumin University of Groningen, Emanuele D’Osualdo MPI-SWS, Bas van den Heuvel University of Groningen, Jorge A. Pérez University of Groningen File Attached | ||
10:40 20mTalk | Proof Automation for Disjunctions in Concurrent Separation Logic PLNL 2023 DOI File Attached |
11:00 - 11:30 | |||
11:30 - 12:30 | |||
11:30 20mTalk | Parallel Programming With An Autonomous Data Language PLNL 2023 File Attached | ||
11:50 20mTalk | Seaso: Logic Programming with Downstream Constraints for the Incremental Specification of Data-Exchange Systems PLNL 2023 Christopher Esterhuyse University of Amsterdam Media Attached File Attached | ||
12:10 20mTalk | Embedding Generalized Parsing in Haskell PLNL 2023 Jaro Reinders TU Delft File Attached |
12:30 - 14:00 | |||
14:00 - 15:00 | |||
14:00 20mTalk | Putting the PL in GamePLay: Analyzing the Expressive Power of a Game DSL PLNL 2023 Riemer van Rozen CWI File Attached | ||
14:20 20mTalk | Towards Version Control for Creative Coding PLNL 2023 Maximilian Mayer Vrije Universiteit (VU) Amsterdam, Mauricio Verano Merino Vrije Universiteit Amsterdam File Attached | ||
14:40 20mTalk | On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT PLNL 2023 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 Amsterdam DOI Pre-print |
15:00 - 15:30 | |||
15:30 - 16:30 | |||
15:30 20mTalk | Deriving editor services from funcons-based language semantics PLNL 2023 Damian Frölich University of Amsterdam File Attached | ||
15:50 20mTalk | Hedy programming language PLNL 2023 Sabina Chiță Vrije Universiteit Amsterdam | ||
16:10 20mTalk | AmPERSand: Modular Educational Programming Languages with Object Algebras PLNL 2023 Jesse Hoobergs KU Leuven File Attached |