PLNL logo

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.

Supporters

Accepted Talks

Title
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
PLNL 2023
File Attached
Advances & challenges in model-based deductive verification of programs
PLNL 2023
File Attached
AmPERSand: Modular Educational Programming Languages with Object Algebras
PLNL 2023
File Attached
Deriving editor services from funcons-based language semantics
PLNL 2023
File Attached
Embedding Generalized Parsing in Haskell
PLNL 2023
File Attached
Hedy programming language
PLNL 2023
On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT
PLNL 2023
DOI Pre-print
Parallel Programming With An Autonomous Data Language
PLNL 2023
File Attached
Proof Automation for Disjunctions in Concurrent Separation Logic
PLNL 2023
DOI File Attached
Putting the PL in GamePLay: Analyzing the Expressive Power of a Game DSL
PLNL 2023
File Attached
Seaso: Logic Programming with Downstream Constraints for the Incremental Specification of Data-Exchange Systems
PLNL 2023
Media Attached File Attached
Towards Version Control for Creative Coding
PLNL 2023
File Attached

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.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 16 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:30 - 10:00
10:00 - 11:00
Concurrency, parallel programming, and verificationPLNL 2023 at Doelenzaal (C0.07)
10:00
20m
Talk
Advances & challenges in model-based deductive verification of programs
PLNL 2023
Robert Rubbens University of Twente
File Attached
10:20
20m
Talk
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
20m
Talk
Proof Automation for Disjunctions in Concurrent Separation Logic
PLNL 2023
Ike Mulder Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen
DOI File Attached
11:00 - 11:30
12:30 - 14:00
14:00 - 15:00
Games, creative coding, and performancePLNL 2023 at Doelenzaal (C0.07)
14:00
20m
Talk
Putting the PL in GamePLay: Analyzing the Expressive Power of a Game DSL
PLNL 2023
File Attached
14:20
20m
Talk
Towards Version Control for Creative Coding
PLNL 2023
Maximilian Mayer Vrije Universiteit (VU) Amsterdam, Mauricio Verano Merino Vrije Universiteit Amsterdam
File Attached
14:40
20m
Talk
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