A Reusable Machine-Calculus for Automated Resource Analyses (LOPSTR 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Hector Suzanne, Emmanuel Chailloux

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:00 - 14:35 at Room VII - Session II Chair(s): Michael Hanus

Hector Suzanne

LIP6 - Sorbonne Université & CNRS

France

Emmanuel Chailloux

UPMC, France

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