Please note that this newsitem has been archived, and may contain outdated information or links.
12 July 2021, 2nd Workshop on Verification of Session Types (VEST 2021), Online
Stateful entities offer services in a non-uniform way (one cannot pop from an empty stack). Traditional type systems cannot guarantee that operations are only invoked when the entity is in the right state. Session types are abstract representations of the sequences of operations that computational entities (such as channels or objects) must perform. Although the foundations of session types are now well established, and new works build on approaches that have become standard, there is still a lack of reusable libraries, namely machine-verified ones.
The goal of the VEST workshop is to gather the researchers working on mechanisations of behavioural types using various theorem provers, such as Agda, Coq, Isabelle or any other. The workshop will be a platform to present both the now well-established efforts and the ongoing works the community has put on verification. The workshop will also be a forum to discuss strengths and weaknesses of existing approaches, potential obstacles and to foster collaboration.
We request two types of research contributions.
Type 1: Short presentations (1 page) of work published elsewhere;
Type 2: Presentations (2-5 pages) of ongoing original work.
Submissions of Type 1 will consist of 1 page papers presenting the work, the publication venue and the significance of the results; the PC will select the submissions with a ranking system.
Submissions of Type 2 will consist of 2 - 5 page papers submitted to a light reviewing process.
There will be no proceedings of VEST'21, but rather the aim is to strengthen and further expand our community.
Please note that this newsitem has been archived, and may contain outdated information or links.