A Logical Interpretation of Asynchronous Multiparty Compatibility (LOPSTR 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Marco Carbone, Sonia Marin, Carsten Schürmann

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

When

Mon 23 Oct 2023 14:35 - 15:10 at Room VII - Session II Chair(s): Michael Hanus

Marco Carbone

IT University of Copenhagen

Sonia Marin

University of Birmingham

United Kingdom

Carsten Schürmann

IT University of Copenhagen

Denmark

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

Session Program

Mon 23 Oct
Displayed time zone: Lisbon change

	14:00 - 15:30	Session IILOPSTR at Room VII Chair(s): Michael Hanus Kiel University

	14:00 35m Research paper		A Reusable Machine-Calculus for Automated Resource Analyses LOPSTR Hector Suzanne LIP6 - Sorbonne Université & CNRS, Emmanuel Chailloux UPMC, France
	14:35 35m Research paper		A Logical Interpretation of Asynchronous Multiparty Compatibility LOPSTR Marco Carbone IT University of Copenhagen, Sonia Marin University of Birmingham, Carsten Schürmann IT University of Copenhagen
	15:10 20m Short-paper		Relational Solver for Java Generics Type SystemRemote LOPSTR Petr Lozov Sain Petersburg State University, SPbGU, Dmitry Kosarev Saint-Petersburg State University, Dmitry Ivanov TomTom, Dmitri Boulytchev Saint Petersburg State University