PSSV-2017

 

Eighth Workshop
Program Semantics, Specification and Verification:
Theory and Applications

(PSSV 2017, June 26, 2017 - new date!)

PSSV logo Main & Past Workshop pages: http://pssv-conf.ru

Call for Papers

The workshop will be held at the Faculty of Computational Mathematics and Cybernetics of Lomonosov Moscow State University https://cs.msu.ru/en (new venue!) in Moscow, Russia in affiliation with A.P. Ershov Informatics Conference
(the PSI Conference Series, 11th edition, June 27–29, 2017, PSI-2017, http://psi.ispras.ru/)
PSI logo


Workshop language: English.

Important Dates Scope and Topics Invited Speakers Program Committee and Contacts Co-Chairs Steering Committee Submission and Publication Registration and Visa Issues

Important dates

  • Extended abstract submission: April 24, 2017 (- extended date!)
  • Notification: May 21, 2017
  • Final versions of accepted extended abstracts for pre-workshop publication: June 04, 2017
  • Registration on site on June 26, 2017
  • Workshop: June 26, 2017
  • Revised papers submission to review for post-workshop publication: September 20, 2017
(Back to Top.)

Scope and Topics

Research and work in progress papers are 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.
(Back to Top.)

Invited Speaker(s):

  • Alexander V. Kogtenkov (ETH Zürich, Switzerland, and Eiffel Software, USA),
  • Victor V. Kuliamin (Institute for System Programming, Moscow, Russia),
  • Irina A. Lomazova (Higher School of Economics, Moscow, Russia).
(Back to Top.)

Program Committee:

  • Natasha Alechina (University of Nottingham, UK),
  • Sergey Baranov (St.Petersburg Institute for Informatics and Automation, Russia),
  • Alexander Bolotov (University of Westminster, UK),
  • Mohamed Elwakil (Northern Arizona University Flagstaff, US),
  • Nina Evtushenko (Tomsk State University, Russia),
  • Vladimir Itsykson (St. Petersburg State Polytech. University, Russia),
  • Igor Konnov (Institute of Information Systems, TU Wien, Austria),
  • Victor Kuliamin (Institute for System Programming, Moscow, Russia),
  • Alexei Lisitsa (University of Liverpool, UK),
  • Irina Lomazova (Higher School of Economics, Moscow, Russia),
  • Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia),
  • Ruslan Smelyansky (Moscow State University, Russia),
  • Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia).
(Back to Top.)

Program Co-Chairs

  • Nikolay Shilov (Innopolis University, Kazan, Russia, n.shilov(at)innopolis.ru)
  • Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su)
(Back to Top.)

Steering Committee

  • Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep(at)iis.nsk.su)
  • Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov(at)yandex.ru)
(Back to Top.)

Submission and Publication

Program Committee invites submissions in the form of extended abstracts (up to 8 pages, Lecture Notes in Computer Science style) in English. Additional details may be included in an appendix up to 4 pages for Program Committee. Submissions should be via EasyChair conference system ( https://easychair.org/conferences/?conf=pssv2017).

All accepted papers will be published in the preliminary proceedings before the workshop. Selected papers will be published after the workshop in one of Russian peer-review journals. At least one author of every accepted paper should present a talk in the workshop.

(Back to Top.)

Registration and Visa Issues:

PSSV and PSI registrations are independent (i.e. they don't assume cross-participation). In case of a need of visa support - please visit registration page of PSI conference at http://psi.ispras.ru/en/registration.html

(Back to Top.)