[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS
WORKSHOP CELEBRATING 30 YEARS OF SESSION TYPES (ST30)
https://urldefense.com/v3/__https://2023.splashcon.org/home/st-anniversary-30__;!!IBzWLUs!WWB8agwnL4rzoqlKqN4YqYXXEl38QlsYNICmyheLYP_I25taKlpAfBsm6bm9Tr23hhhWbovjJnnxLg83FhV4TwYgBx6kz_LCZWUZAZs$
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)
