[TYPES/announce] Workshop celebrating 30 Years of Session Types - co-located with SPLASH 2023 - 2nd CFP

[Simon Gay]

CALL FOR PAPERS

WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30)

https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!W61Yj5vDnTOIWOovpk0pfoRSeW0vhB5ndcNlK_VuUk7wGBdtjX0z6i2kxB66L-SU3A6h7ht-cwilQ00SKtN5xhHGrncRVNa9ofS5JOA$ 

Affiliated with SPLASH 2023, Cascais, Portugal

Dates to be confirmed within 22-27 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.

We invite submissions to a workshop celebrating 30 years of session 
types. Submissions can be about any aspect of session types, including 
but not limited to the topics listed above. The programme will include 
invited talks, contributed talks, software demonstrations and a panel 
session.

We call for three types of submission:

- Research papers with a maximum length of 8 pages (excluding 
bibliography and appendices). Submitted research papers will be reviewed 
for novelty, clarity and technical soundness. They must not be submitted 
simultaneously for publication in other venues. Accepted research papers 
will appear in the workshop proceedings.

- Talk proposals with a maximum length of 2 pages (excluding 
bibliography and appendices). Talk proposals can be for presentation of 
ongoing work, or for presentation of work that has already been 
published elsewhere. Proposals will be reviewed based on their likely 
interest as contributions to the workshop. Accepted talks will be 
presented at the workshop, but will not have corresponding papers in the 
workshop proceedings.

- Demo proposals with a maximum length of 2 pages (excluding 
bibliography and appendices). Demo proposals can be for any programming 
language, library, tool or other software that is based on session 
types. Accepted demos will be presented at the workshop, but will not 
have corresponding papers in the workshop proceedings.

Submissions must be formatted in EPTCS style. We intend the proceedings 
to be published in EPTCS.




Important dates

Abstract registration deadline: 7 July 2023, AoE

Submission deadline: 12 July 2023, AoE

Notification: 18 August 2023

Final versions for the proceedings: 10 September 2023



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)