[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION
WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30)
https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!S3vZznm17P0ZgX8NrInT3hpmWjWRe7Hmj890M0lyNKkV0wHmpIgMhq1N0PaMDLhgxRZtl57lNHKqUPfnBQCoQKDWYk3puLITX8q13eU$
Affiliated with SPLASH 2023, Cascais, Portugal
22nd & 23rd October 2023
Session types are a type-theoretic approach to specifying communication
protocols so that they can be verified by type-checking. This year marks
30 years since the first paper on session types, by Kohei Honda at
CONCUR 1993. Since then the topic has attracted increasing interest, and
a substantial community and literature have developed. Google Scholar
lists almost 400 articles with "session types" in the title, and most
programming language conferences now include several papers on session
types each year. In terms of the technical focus, there have been
continuing theoretical developments (notably the generalisation from
two-party to multi-party session types by Honda, Yoshida and Carbone in
2008, and the development of a Curry-Howard correspondence with linear
logic by Caires and Pfenning in 2010) and a variety of implementations
of session types as programming language extensions or libraries,
covering (among others) Haskell, OCaml, Java, Scala, Rust, Python, C#,
Go. The workshop will celebrate 30 years of session types, present
current research, and discuss future directions.
KEYNOTE SPEAKER
Nobuko Yoshida
Christopher Strachey Professor of Computer Science
University of Oxford, UK
PANEL DISCUSSION
"Future Directions for Session Types"
Stephanie Balzer, Carnegie Mellon University, USA
Luis Caires, Technical University of Lisbon, Portugal
Ornela Dardha, University of Glasgow, UK
Raymond Hu, Queen Mary University of London, UK
CONTRIBUTED TALKS
"A Semantic Framework for Automatic Composition of Decentralised
Industrial Control Schemes"
Dimitrios Kouzapas, Demetrios G. Eliades, Christos Panayiotou
"A silent semantics for isorecursive session types"
Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
"Asynchronous and Synchronous Mixed Sessions"
Kirstin Peters, Nobuko Yoshida
"Behavioural up/down casting for statically typed languages"
Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, Antonio Ravara
"Benchmarks for Multiparty Session Types"
Martin Vassor, Nobuko Yoshida
"CAPABLE: A Mechanised Imperative Language with Native Multiparty
Session Types"
Jan de Muijnck-Hughes, Cristian Urlea, Adriana Laura Voinea, Wim
Vanderbauwhede
"Classical Processes in modern dress"
Vikraman Choudhury, Simon Gay
"Complete Multiparty Session Type Projection with Automata"
Felix Stutz
"Labelled Tensor Types in Session Based Programming"
Luís Caires
"Mechanising Multiparty Session Types: A Sound and Complete Projection"
Marco Carbone
"Multiparty Reactive Sessions"
Ilaria Castellani, Cinzia Di Giusto, Jorge A. Pérez
"Session-Based Typechecking for Elixir Modules Using ElixirST"
Adrian Francalanza, Gerard Tabone
"So what's the difference between a session type and an ordinary type
anyway?"
Frank Pfenning
"The Concurrent Calculi Formalisation Benchmark"
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri,
Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste
Scalas, Martin Vassor, Nobuko Yoshida
"The Expressiveness of Session Types"
Jorge A. Pérez
"Towards Session-Typed Consensus"
Matthew Alan Le Brun, Ornela Dardha
"Using Event Structures to model Multiparty Session Types: results and
open problems"
Ilaria Castellani, Paola Giannini
"What we learned from writing a book about session types"
Simon Gay, Vasco T. Vasconcelos
ORGANISING COMMITTEE
Marco Carbone (IT University of Copenhagen, Denmark)
Ilaria Castellani (INRIA Sophia Antipolis Méditerranée, France)
Diana Costa (University of Lisbon, Portugal)
Simon Gay (University of Glasgow, UK)
Luca Padovani (University of Camerino, Italy)
Alceste Scalas (Technical University of Denmark)
Nobuko Yoshida (University of Oxford, UK)
PROGRAMME COMMITTEE
Diana Costa (University of Lisbon, Portugal) co-chair
Ornela Dardha (University of Glasgow, UK)
Mariangiola Dezani-Ciancaglini (University of Torino, Italy)
Simon Gay (University of Glasgow, UK) co-chair
Sung-Shik Jongmans (Open University of the Netherlands)
Wen Kokke (Strathclyde University, UK)
Rumyana Neykova (Brunel University, UK)
Jorge Perez (University of Groningen, Netherlands)
Kirstin Peters (University of Augsburg, Germany)
Frank Pfenning (Carnegie Mellon University, USA)
António Ravara (Universidade Nova de Lisboa and NOVA LINCS, Portugal)
Peter Thiemann (University of Freiburg, Germany)
Bernardo Toninho (Universidade Nova de Lisboa and NOVA LINCS, Portugal)
