A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency (PLNL 2023 - The 3rd VERSEN Workshop on Programming Languages in The Netherlands)

Fri 16 Jun 2023 Amsterdam, Netherlands

Who

Daniel Frumin, Emanuele D’Osualdo, Bas van den Heuvel, Jorge A. Pérez

Track

PLNL 2023

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

When

Fri 16 Jun 2023 10:20 - 10:40 at Doelenzaal (C0.07) - Concurrency, parallel programming, and verification

File attachments

Slides (main.pdf)	191KiB

Daniel Frumin

University of Groningen

Netherlands

Emanuele D’Osualdo

MPI-SWS

Germany

Bas van den Heuvel

University of Groningen

Netherlands

Jorge A. Pérez

University of Groningen

Netherlands

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

Display full programSpecify a time band

Save

Session Program

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

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