DLS 2023
Dates to be announced
Cascais, Portugal
co-located with
SPLASH 2023
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
Complete Program
Your Program
Sun 31 Dec
Track/Call
Organization
DLS 2023 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2023
(
series
) /
DLS 2023 (
series
) /
Hotel Cascais Miragem
/
Room information: Room XIII
Venue
Hotel Cascais Miragem
Room name
Room XIII
Capacity
44
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Lisbon
.
Use conference time zone: (GMT) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 1
ST30
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 talk
ST30
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 3
ST30
at
Room XIII
Chair(s):
Peter Thiemann
University of Freiburg, Germany
14:00
30m
Talk
CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Cancelled
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 4
ST30
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 1
ST30
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 Schemes
Cancelled
ST30
Dimitrios Kouzapas
University of Cyprus
,
Demetrios G. Eliades
11:00 - 12:30
ST30 Day 2 Session 2
ST30
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 Programming
Cancelled
ST30
Luís Caires
INESC-ID / Instituto Superior Tecnico, University of Lisbon
14:00 - 15:30
ST30 Day 2 Session 3
ST30
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 session
ST30
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 Session
IWACO
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 1
IWACO
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 2
IWACO
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
x
Tue 12 Nov 01:12