IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification: Theory and Applications
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification: Theory and Applications

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

Moscow, Russia
Event Date: November 03, 2020 - November 04, 2020
Submission Deadline: September 14, 2020
Notification of Acceptance: October 12, 2020
Camera Ready Version Due: October 26, 2020



About

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).


Call for Papers

Research, work in progress, position and student papers were welcome. List of topics of interest includes (but is not limited to):

  • formalisms for program semantics;
  • formal models and semantics of programs and systems;
  • semantics of programming and specification languages;
  • formal description techniques;
  • logics for formal specification and verification;
  • deductive program verification;
  • automatic theorem proving;
  • model checking of programs and systems;
  • static analysis of programs;
  • formal approach to testing and validation;
  • program analysis and verification tools.



Best Deals



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

  • 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


Credits and Sources

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


Check other Conferences, Workshops, Seminars, and Events


OTHER FORMAL METHODS EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
VWLD 2021: Vienna World Logic Day Lecture
Online
Jan 14, 2021
FormaliSE 2021: International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
SHOW ALL

OTHER SEMANTICS EVENTS

SEMAPRO 2021: The Fifteenth International Conference on Advances in Semantic Processing
Barcelona, Spain
Oct 03, 2021
INNOV 2021: The Tenth International Conference on Communications, Computation, Networks and Technologies
Barcelona, Spain
Oct 03, 2021
FDL 2021: 24th IEEE Forum on specification & Design Languages
Antibes (France)
Sep 08, 2021
NATAP 2021: 4th International Conference on Natural Language Processing and Trends
Zurich, Switzerland
May 22, 2021
NATL 2020: 6th International Conference on Natural Language Computing
Sydney, Australia
Dec 18, 2020
SHOW ALL