SPLASH 2023 (series) / ST30 (series) /
ST30 Program
This is the ST30 program - see the full program for SPLASH 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 OctDisplayed time zone: Lisbon change
Sun 22 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 90mTalk | Beyond Types for Dyadic Interaction ST30 Nobuko Yoshida University of Oxford |
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Complete Multiparty Session Type Projection with Automata ST30 | ||
15:00 30mTalk | 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 | |||
16:00 30mTalk | The Expressiveness of Session Types ST30 Jorge A. Pérez University of Groningen Pre-print File Attached | ||
16:30 30mTalk | What we learned from writing a book about session types ST30 | ||
17:00 30mTalk | So what's the difference between a session type and an ordinary type anyway? ST30 Frank Pfenning Carnegie Mellon University, USA |
Mon 23 OctDisplayed time zone: Lisbon change
Mon 23 Oct
Displayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 30mTalk | 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 30mTalk | Session-Based Typechecking for Elixir Modules Using ElixirST ST30 | ||
10:00 30mTalk | A Semantic Framework for Automatic Composition of Decentralised Industrial Control SchemesCancelled ST30 |
11:00 - 12:30 | |||
11:00 30mTalk | Asynchronous and Synchronous Mixed Sessions ST30 | ||
11:30 30mTalk | Classical Processes in modern dress ST30 | ||
12:00 30mTalk | Labelled Tensor Types in Session Based ProgrammingCancelled ST30 Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon |
14:00 - 15:30 | |||
14:00 30mTalk | Benchmarks for Multiparty Session Types ST30 File Attached | ||
14:30 30mTalk | Towards Session-Typed Consensus ST30 | ||
15:00 30mTalk | Using Event Structures to model Multiparty Session Types: results and open problems ST30 |
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 90mPanel | 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 |