Program - PLNL 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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	Walk inPLNL 2023 at Doelenzaal (C0.07)

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	BreakPLNL 2023 at Doelenzaal (C0.07)

11:30 - 12:30	Parallel programming, parsing, and verificationPLNL 2023 at Doelenzaal (C0.07)

11:30 20m Talk		Parallel Programming With An Autonomous Data Language PLNL 2023 Tom T.P. Franken TU Eindhoven, Thomas Neele , Jan Friso Groote File Attached
11:50 20m Talk		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 20m Talk		Embedding Generalized Parsing in Haskell PLNL 2023 Jaro Reinders TU Delft File Attached

	12:30 - 14:00	LunchPLNL 2023 at Doelenzaal (C0.07)

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 Riemer van Rozen CWI 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	BreakPLNL 2023 at Doelenzaal (C0.07)

15:30 - 16:30	IDE services and educationPLNL 2023 at Doelenzaal (C0.07)

15:30 20m Talk		Deriving editor services from funcons-based language semantics PLNL 2023 Damian Frölich University of Amsterdam File Attached
15:50 20m Talk		Hedy programming language PLNL 2023 Sabina Chiță Vrije Universiteit Amsterdam
16:10 20m Talk		AmPERSand: Modular Educational Programming Languages with Object Algebras PLNL 2023 Jesse Hoobergs KU Leuven File Attached

PLNL 2023 Program

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

Tracks

PLNL 2023 Program

Switch Program View

Program Display Configuration

Fri 16 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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