posted by user: shilov61 || 931 views || tracked by 1 users: [display]

PSSV 2018 : Nineth Workshop Program Semantics, Specification and Verification: Theory and Applications

FacebookTwitterLinkedInGoogle

Link: http://persons.iis.nsk.su/en/pssv2018
 
When Jun 21, 2018 - Jun 22, 2018
Where Yaroslavl, Russia
Submission Deadline May 4, 2018
Notification Due May 27, 2018
Final Version Due Jun 4, 2018
Categories    forma methods   logic in computer science   theory of programming   models of programs
 

Call For Papers

Nineth Workshop on Program Semantics, Specification and Verification: Theory and Applications
(PSSV 2018, June 21-22, 2018, P. G. Demidov Yaroslavl State University (https://www.uniyar.ac.ru/en/) in Yaroslavl, Russia)

Wab-pages and history:
* Workshop web-page (PSSV-2018): http://persons.iis.nsk.su/en/pssv2018
* The previous workshop page (PSSV-2017): http://persons.iis.nsk.su/en/pssv2017
* Past Workshop pages (PSSV-2010 - PSSV-2016): http://pssv-conf.ru

Important dates
* Paper (extended abstract) submission: May 4, 2018
* Notification: May 27, 2018
* NEW: Short/poster/student paper submission: June 4, 2018
* Final versions of accepted extended abstracts for pre-workshop publication: June 4, 2018
* Registration: TBD
* Workshop: June 21-22, 2018
* Revised selected papers submission for post-workshop publication: eventually in September 2018

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.

Program Committee:
* Natasha Alechina (University of Nottingham, UK),
* Alexander Bolotov (University of Westminster, UK),
* Nina Evtushenko (Tomsk State University, Russia),
* Vladimir Itsykson (St. Petersburg State Polytech. University, Russia),
* Igor Konnov (INRIA Nancy & LORIA, France),
* Victor Kuliamin (Institute for System Programming, Moscow, Russia),
* Egor Kuzmin (Yaroslavl State University, Russia),
* Alexei Lisitsa (University of Liverpool, UK),
* Irina Lomazova (Higher School of Economics, Moscow, Russia),
* Manuel Mazzara (Innopolis University, Russia),
* Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia),
* Alexander Okhotin ( St. Petersburg State University, Russia),
* Aleksey Promsky (Institute of Informatics Systems, Novosibirsk, Russia),
* Valery Sokolov (Yaroslavl State University, Russia).

Program Co-Chairs
* Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.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)

Organizing Committee
* Egor Kuzmin (Yaroslavl State University, Russia, kuzmin(at)uniyar.ac.ru)
* Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov(at)yandex.ru)

Invited Speakers:
* Daniel de Carvalho: Topic TBD
Bio: has a PhD degree in Mathematics from the University of Aix-Marseille-2, France. He worked as a lecturer and as a researcher in the Universities of Aix-Marseille-2, Paris-7, Paris-13, in the INRIA (the French National Institute for computer science and applied mathematics), in the Univerity of Roma-3 (Italy) and in the University of Copenhagen (Denmark). He currently works in Innopolis (Russia). His main research interests are: lambda-calculus, Linear Logic, Term Rewriting Systems, denotational semantics and computational complexity.
* TBD

Memorial Session
We plan to organize a special session in memory of Boris (Boaz) Trakhtenbrot (19.02.1921 – 19.09.2016,
https://cacm.acm.org/news/207650-in-memoriam-boris-trakhtenbrot-1921-2016/fulltext)
and recently passed his former Ph.D. students - Mars Valiev (passed 31.01.2017, https://scholar.google.ru/citations?user=LM1vlLUAAAAJ)
and Michael Dekhtyar (passed 17.03.2017, https://scholar.google.com/citations?user=1HYyPUMAAAAJJ).

Submissions and Publication
Program Committee invites research submissions (on topics of program semantics, specification and verification)
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.

Program Committee invites memorial contributions (up to 4 pages) devoted to science and research legacy of Boris Trakhtenbrot, Mars Valiev, Michael Dekhtyar, and their former disciples, fellows, and colleagues.

Program Committee also invites short/poster/student contributions (up to 4 pages).

All submissions should be via EasyChair conference system (https://easychair.org/conferences/?conf=pssv2018).

All research and memorial submissions will be reviewed by 3 PC members, authors of accepted all accepted research and memorial papers will have a week to upgrade their submissions before publication of the preliminary proceeding (see below).

All sort/poster/student submissions will be reviewed by by a PC member, authors of accepted papers of this kind will not have time to upgrade their papers and papers will be published in the preliminary proceeding (see below) as it is.

All accepted papers will be published in the preliminary proceedings before the workshop (by Yaroslavl State University).
Selected papers will be published after the workshop in Russian peer-review journal
Modeling and Analysis of Information Systems (http://mais-journal.ru/jour)
and then translated and published in Automatic Control and Computer Sciences (http://www.springer.com/computer/hardware/journal/11950)
(indexed by WoS and Scopus).

At least one author of every accepted paper should present a talk in the workshop.

Registration and Visa Issues:
* Registration dates and fees: TBD
* Accommodation: Park Inn by Radisson may be recommended as the first instance, other options will be available later.
* Visa issues: Please contact organizing committee - Egor Kuzmin and Valery Sokolov.

Sponsorship
* Host and publication: P. G. Demidov Yaroslavl State University (https://www.uniyar.ac.ru/en/)
* Information: A.P. Ershov Institute of Informatics Systems of Russian Academy of Sciences (http://www.iis.nsk.su/en)

Related Resources

TAPAS 2019   10th Workshop on Tools for Automatic Program Analysis
VISAPP 2020   15th International Conference on Computer Vision Theory and Applications
STOC 2020   Symposium on the Theory of Computing
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
ICPC 2020   28th International Conference on Program Comprehension
VISIGRAPP 2020   15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications
IVAPP 2020   11th International Conference on Information Visualization Theory and Applications
GRAPP 2020   15th International Conference on Computer Graphics Theory and Applications
HUCAPP 2020   4th International Conference on Human Computer Interaction Theory and Applications
LOPAL 2020   Second International Conference on Learning and Optimization Algorithms: Theory and Applications