[TYPES/announce] Program Semantics, Specification and Verification PSSV-2017: new dates and venue.

[Shilov Nikolay]

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  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170415/e35916a9/attachment-0001.html>