Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3 - 4 November 2020, XI Workshop on Program Semantics, Specification and Verification (PSSV-2020): Theory and Applications, Virtual

Date: 3 - 4 November 2020
Location: Virtual
Deadline: Monday 19 October 2020

Invited Speakers: Natasha Alechina, Ekaterina Komendantskaya, Samvel K. Shoukourian and Ilya Sergey. In addition there will be one invited industrial talk from Leading Research Center for Blockchain Technology of Innopolis University, which will be presented by Leonid Merkin, and a panel discussion on (experimental and industrial) contemporary programming languages.

The Program Committee solicits work in progress, position, poster and student papers (up to 4 pages). Research, work in progress, position and student papers are welcome. All accepted papers will be published before the workshop (format and venue TBD). We expect (as it was in the previous years of the PSSV) that English translations of selected papers will appear next year in Automatic Control and Computer Sciences.

For more information, see https://persons.iis.nsk.su/en/pssv2020.

Please note that this newsitem has been archived, and may contain outdated information or links.