[TYPES/announce] Call for participation: Workshop Celebrating 30 Years of Session Types (ST30 @ SPLASH)

Simon Gay Simon.Gay at glasgow.ac.uk
Wed Sep 13 10:08:45 EDT 2023


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)




More information about the Types-announce mailing list