PSSV 2020 : XI Workshop Program Semantics, Specification and Verification: Theory and Applications

Program Committee solicites

• regular research submissions in the form of extended abstracts (up to 8 pages, LNCS style) in English (additional details could be included in an appendix up to 4 pages for Program Committee), each regular research submission will be reviewed by 3 PC members;
• work in progress, position, poster and student papers (up to 4 pages), each of these submissions will be reviewed by a PC member.

Right now Easy Chair submission page https://easychair.org/conferences/?conf=pssv2020 is open for regular paprs.

All accepted papers will be published before the workshop (format and venue TBD) Selected revised and extended papers have been published after the workshop in Russian peer-review journal Modeling and Analysis of Information Systems (https://www.mais-journal.ru). We expect (as it was in the previous years of the PSSV) that English translations of some of these selected papers will appear next year in Automatic Control and Computer Sciences(http://www.springer.com/computer/hardware/journal/11950) (indexed by WoS and Scopus).

PSSV 2020 : XI Workshop Program Semantics, Specification and Verification: Theory and Applications will take place in Moscow, Russia. It’s a 2 days event starting on Nov 03, 2020 (Tuesday) and will be winded up on Nov 04, 2020 (Wednesday).

PSSV 2020 falls under the following areas: FORMAL METHODS, SEMANTICS, etc. Submissions for this Workshop can be made by Sep 14, 2020. Authors can expect the result of submission by Oct 12, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Oct 26, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the PSSV 2020

• Short Name: PSSV 2020
• Full Name: XI Workshop Program Semantics, Specification and Verification: Theory and Applications
• Timing: 09:00 AM-06:00 PM (expected)
• Fees: Check the official website of PSSV 2020
• Event Type: Workshop
• Website Link: https://persons.iis.nsk.su/en/pssv2020
• Location/Address: Moscow, Russia