Categories |
FORMAL METHODS
SEMANTICS
|
About |
Program Committee solicites
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). |
Call for Papers |
Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to):
|
Summary |
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
|
Credits and Sources |
[1] PSSV 2020 : XI Workshop Program Semantics, Specification and Verification: Theory and Applications |