posted by user: shilov61 || 1328 views || tracked by 4 users: [display]

PSSV 2016 : 7th Workshop Program Semantics, Specification and Verification

FacebookTwitterLinkedInGoogle

Link: http://logic.pdmi.ras.ru/csr2016/pssv16
 
When Jun 14, 2016 - Jun 14, 2016
Where Saint Petersburg, Russia
Submission Deadline Apr 15, 2016
Notification Due May 11, 2016
Categories    formal methods   theory of programming   theoretical computer science
 

Call For Papers

The workshop will be held in affiliation with International Сonf. " Computer Science in Russia" ( СSR 2016, http://logic.pdmi.ras.ru/csr2016/ ) in St. Petersburg, Russia.

===========================================

Important dates

Extended abstract submission: April 15, 2016
Notification: May 11, 2016
Registration via registration page of CSR-2016 (
http://logic.pdmi.ras.ru/csr2016/registration, coming soon).

===========================================

Official language: English

===========================================

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 Speaker:
TBD (coming soon)


Program Committee:

* Natasha Alechina (University of Nottingham, UK),
* Sergey Baranov (St.Petersburg Institute for Informatics and Automation, Russia),
* Alexander Bolotov (University of Westminster, UK),
* Nina Evtushenko (Tomsk State University, Russia),
* Vladimir Itsykson (St. Petersburg State Polytech. University, Russia),
* Victor Kuliamin (Institute for System Programming, Moscow, Russia),
* Alexei Lisitsa (University of Liverpool, UK),
* Irina Lomazova (Higher School of Economics, Moscow, Russia),
* Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia),
* Vladimir Zakharov (Moscow State University, Russia).

Program Chairs:

* Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep@iis.nsk.su)
* Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov@yandex.ru)

Organization Chair:
* Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia, shilov@iis.nsk.su)
===========================================

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

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.

===========================================

Contacts and Updates:

For further details and updates please refer the main Workshop page at http://pssv-conf.ru. In case of program question please contact Program chairs, for organization issues – the Organization Chair.

Related Resources

PSSV 2017   Eighth Workshop Program Semantics, Specification and Verification: Theory and Applications
OPODIS 2017   OPODIS 2017 Call for Papers
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems
SOFL+MSVL 2017   The 7th international workshop on SOFL+MSVL
ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
LOPSTR 2017   27th International Symposium on Logic-Based Program Synthesis and Transformation
Correctness 2017   First International Workshop on Software Correctness for HPC Applications
VPT 2017   Fifth International Workshop on Verification and Program Transformation
HVC 2017   Haifa Verification Conference
ICFEM 2017   19th International Conference on Formal Engineering Methods