posted by organizer: shilov61 || 793 views || tracked by 3 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://persons.iis.nsk.su/en/PSSV2017
 
When Jun 26, 2017 - Jun 26, 2017
Where Moscow, Russia
Submission Deadline Apr 24, 2017
Notification Due May 21, 2017
Categories    program specification   program verification   program semantics   program analysis
 

Call For Papers

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

Related Resources

ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
LOPAL 2018   International Conference on Learning and Optimization Algorithms: Theory and Applications
AIACT 2018   2018 2nd International Conference on Artificial Intelligence, Automation and Control Technologies (AIACT 2018)
ICITA 2018   International Conference on Information Technology and Applications
COLT 2018   Computational Learning Theory
AIAI 2018   14th Artificial Intelligence Applications and Innovations 2018
VISAPP 2018   International Conference on Computer Vision Theory and Applications
COMPSAC 2018   Computer Software and Applications Conference
SERecSys 2017   2nd ICDM Workshop on Semantics-Enabled Recommender Systems
SKG 2017   The 13th International Conference on Semantics, Knowledge and Grids on Data