[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Eighth Workshop
Program Semantics, Specification and Verification: Theory and Applications
(PSSV 2016, June 26, 2017 - new date! - http://persons.iis.nsk.su/en/pssv2017 )
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/ )
*Workshop language: English.
- 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
*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.
*Invited Speakers:
- Alexander V. Kogtenkov (ETH Zurich, Switzerland, and Eiffel Software, USA),
- Victor V. Kuliamin (Institute for System Programming, Moscow, Russia),
- Irina A. Lomazova (Higher School of Economics, Moscow, Russia).
*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).
*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)
*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)
*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.
*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
