Room XIII - GPCE 2023

VenueHotel Cascais Miragem

Room nameRoom XIII

Capacity44

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) Lisbon.

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

Save

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

Sun 22 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	ST30 Day 1 Session 1ST30 at Room XIII Chair(s): Kirstin Peters Augsburg University

09:00 30m Talk		A silent semantics for isorecursive session types ST30 Janek Spaderna University of Freiburg, Germany, Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, University of Lisbon
09:30 30m Talk		Mechanising Multiparty Session Types: A Sound and Complete Projection ST30 Marco Carbone IT University of Copenhagen, Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Denmark
10:00 30m Talk		The Concurrent Calculi Formalisation Benchmark ST30 Marco Carbone IT University of Copenhagen, David Castro-Perez University of Kent, Francisco Ferreira Royal Holloway, University of London, Lorenzo Gheri University of Liverpool, Frederik Krogsdal Jacobsen Technical University of Denmark, Alberto Momigliano Università degli Studi di Milano, Luca Padovani University of Camerino, Alceste Scalas DTU, Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford

11:00 - 12:30	ST30 Day 1 Session 2 - Invited talkST30 at Room XIII Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon

11:00 90m Talk		Beyond Types for Dyadic Interaction ST30 Nobuko Yoshida University of Oxford

14:00 - 15:30	ST30 Day 1 Session 3ST30 at Room XIII Chair(s): Peter Thiemann University of Freiburg, Germany

14:00 30m Talk		CAPABLE: A Mechanised Imperative Language with Native Multiparty Session TypesCancelled ST30 Jan de Muijnck-Hughes University of Strathclyde, Cristian Urlea , Adriana Laura Voinea , Wim Vanderbauwhede University of Glasgow
14:30 30m Talk		Complete Multiparty Session Type Projection with Automata ST30 Elaine Li NYU, Felix Stutz MPI-SWS, Thomas Wies New York University, Damien Zufferey SonarSource
15:00 30m Talk		Multiparty Reactive Sessions ST30 Ilaria Castellani INRIA Sophia Antipolis, France, Cinzia Di Giusto Université Côte d'Azur; CNRS, Jorge A. Pérez University of Groningen Link to publication File Attached

16:00 - 17:30	ST30 Day 1 Session 4ST30 at Room XIII Chair(s): Diana Costa LASIGE, University of Lisbon

16:00 30m Talk		The Expressiveness of Session Types ST30 Jorge A. Pérez University of Groningen Pre-print File Attached
16:30 30m Talk		What we learned from writing a book about session types ST30 Simon J. Gay University of Glasgow, UK, Vasco T. Vasconcelos LASIGE, University of Lisbon
17:00 30m Talk		So what's the difference between a session type and an ordinary type anyway? ST30 Frank Pfenning Carnegie Mellon University, USA

Mon 23 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	ST30 Day 2 Session 1ST30 at Room XIII Chair(s): Alceste Scalas DTU

09:00 30m Talk		Behavioural up/down casting for statically typed languages ST30 Lorenzo Bacchiani , Mario Bravetti Università di Bologna, Marco Giunti Nova University of Lisbon, João Mota NOVA School of Science and Technology, António Ravara Nova University of Lisbon
09:30 30m Talk		Session-Based Typechecking for Elixir Modules Using ElixirST ST30 Adrian Francalanza University of Malta, Gerard Tabone University of Malta
10:00 30m Talk		A Semantic Framework for Automatic Composition of Decentralised Industrial Control SchemesCancelled ST30 Dimitrios Kouzapas University of Cyprus, Demetrios G. Eliades

11:00 - 12:30	ST30 Day 2 Session 2ST30 at Room XIII Chair(s): Frank Pfenning Carnegie Mellon University, USA

11:00 30m Talk		Asynchronous and Synchronous Mixed Sessions ST30 Kirstin Peters Augsburg University, Nobuko Yoshida University of Oxford
11:30 30m Talk		Classical Processes in modern dress ST30 Vikraman Choudhury University of Glasgow, Simon J. Gay University of Glasgow, UK
12:00 30m Talk		Labelled Tensor Types in Session Based ProgrammingCancelled ST30 Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon

14:00 - 15:30	ST30 Day 2 Session 3ST30 at Room XIII Chair(s): António Ravara Nova University of Lisbon

14:00 30m Talk		Benchmarks for Multiparty Session Types ST30 Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford File Attached
14:30 30m Talk		Towards Session-Typed Consensus ST30 Matthew Alan Le Brun University of Glasgow, Ornela Dardha University of Glasgow
15:00 30m Talk		Using Event Structures to model Multiparty Session Types: results and open problems ST30 Ilaria Castellani INRIA Sophia Antipolis, France, Paola Giannini University of Eastern Piedmont

16:00 - 17:30	ST30 Day 2 Session 4 - Panel sessionST30 at Room XIII Chair(s): Simon J. Gay University of Glasgow, UK

16:00 90m Panel		Future Directions for Session Types ST30 Stephanie Balzer Carnegie Mellon University, Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon, Ornela Dardha University of Glasgow, Raymond Hu Queen Mary University of London

Tue 24 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	IWACO Keynote SessionIWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

09:00 15m Day opening		Welcome to IWACO! IWACO Aleksander Boruch-Gruszecki EPFL
09:15 75m Keynote		Capture Tracking in Scala IWACO Martin Odersky EPFL

11:00 - 12:30	IWACO Session 1IWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

11:00 30m Talk		Borrow checking Hylo IWACO Dimi Racordon Northeastern University, USA, Dave Abrahams Adobe File Attached
11:30 30m Talk		Degrees of Separation: A Flexible Type System for Data Race Prevention IWACO Yichen Xu EPFL, Aleksander Boruch-Gruszecki EPFL, Martin Odersky EPFL File Attached
12:00 30m Talk		Latte: Lightweight Aliasing Tracking for Java IWACO Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University Pre-print

14:00 - 15:30	IWACO Session 2IWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

14:00 30m Talk		A Mechanized Theory of the Box Calculus IWACO Joseph Fourment EPFL, Yichen Xu EPFL File Attached
14:30 30m Talk		Compositional Reasoning about Advanced Iterator Patterns in Rust IWACO Aurel Bílý ETH Zurich, Jonas Hansen ETH Zurich, Alexander J. Summers University of British Columbia, Peter Müller ETH Zurich File Attached
15:00 30m Talk		Oxidize: A Step-Debugger for Static Semantics IWACO Peter Chon Harvard University, Dimi Racordon Northeastern University, USA, Nada Amin Harvard University File Attached

Sun 22 Oct
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room XIII	ST30 ST30 Day 1 Session 1																								ST30 ST30 Day 1 Session 2 - Invited talk																																				ST30 ST30 Day 1 Session 3																								ST30 ST30 Day 1 Session 4

Mon 23 Oct
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room XIII	ST30 ST30 Day 2 Session 1																								ST30 ST30 Day 2 Session 2																																				ST30 ST30 Day 2 Session 3																								ST30 ST30 Day 2 Session 4 - Panel session

Tue 24 Oct
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room XIII	IWACO IWACO Keynote Session																								IWACO IWACO Session 1																																				IWACO IWACO Session 2																								IWACO

Sun 22 Oct
Displayed time zone: Lisbon change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room XIII	ST30 A silent semantics for isorecursive session types 09:00 - 09:30						ST30 Mechanising Multiparty Session Types: A Sound and Complete Projection 09:30 - 10:00						ST30 The Concurrent Calculi Formalisation Benchmark 10:00 - 10:30												ST30 Beyond Types for Dyadic Interaction 11:00 - 12:30																																				ST30 Cancelled CAPABLE: A Mechanised Imperative Language with Native Multiparty Sessio ... 14:00 - 14:30						ST30 Complete Multiparty Session Type Projection with Automata 14:30 - 15:00						ST30 Multiparty Reactive Sessions 15:00 - 15:30												ST30 The Expressiveness of Session Types 16:00 - 16:30						ST30 What we learned from writing a book about session types 16:30 - 17:00						ST30 So what's the difference between a session type and an ordinary type an ... 17:00 - 17:30

Mon 23 Oct
Displayed time zone: Lisbon change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room XIII	ST30 Behavioural up/down casting for statically typed languages 09:00 - 09:30						ST30 Session-Based Typechecking for Elixir Modules Using ElixirST 09:30 - 10:00						ST30 Cancelled A Semantic Framework for Automatic Composition of Decentralised Industr ... 10:00 - 10:30												ST30 Asynchronous and Synchronous Mixed Sessions 11:00 - 11:30						ST30 Classical Processes in modern dress 11:30 - 12:00						ST30 Cancelled Labelled Tensor Types in Session Based Programming 12:00 - 12:30																								ST30 Benchmarks for Multiparty Session Types 14:00 - 14:30						ST30 Towards Session-Typed Consensus 14:30 - 15:00						ST30 Using Event Structures to model Multiparty Session Types: results and o ... 15:00 - 15:30												ST30 Future Directions for Session Types 16:00 - 17:30

Tue 24 Oct
Displayed time zone: Lisbon change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Room XIII	IWACO Welcome to IWACO! 09:00 - 09:15			IWACO Capture Tracking in Scala 09:15 - 10:30																					IWACO Borrow checking Hylo 11:00 - 11:30						IWACO Degrees of Separation: A Flexible Type System for Data Race Prevention 11:30 - 12:00						IWACO Latte: Lightweight Aliasing Tracking for Java 12:00 - 12:30																								IWACO A Mechanized Theory of the Box Calculus 14:00 - 14:30						IWACO Compositional Reasoning about Advanced Iterator Patterns in Rust 14:30 - 15:00						IWACO Oxidize: A Step-Debugger for Static Semantics 15:00 - 15:30

Room information: Room XIII

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

ST30

ST30

ST30

ST30

Mon 23 Oct
Displayed time zone: Lisbon change

ST30

ST30

ST30

ST30

Tue 24 Oct
Displayed time zone: Lisbon change

IWACO

IWACO

IWACO

IWACO

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Tracks

Room information: Room XIII

Program Display Configuration

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Sun 22 OctDisplayed time zone: Lisbon change

ST30

ST30

ST30

ST30

Mon 23 OctDisplayed time zone: Lisbon change

ST30

ST30

ST30

ST30

Tue 24 OctDisplayed time zone: Lisbon change

IWACO

IWACO

IWACO

IWACO

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change