Logic List Mailing Archive

PSSV 2018: Program Semantics, Specification, & Verification

21-22 Jun 2018
Yaroslavl, Russia

Ninth 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 1, 2018
* Notification: May 20, 2018
* Final versions of accepted extended abstracts for pre-workshop publication: May 28, 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, to be confirmed),
* Alexander Bolotov (University of Westminster, UK, to be confirmed),
* Nina Evtushenko (Tomsk State University, Russia, to be confirmed),
* Vladimir Itsykson (St. Petersburg State Polytech. University, Russia, to be confirmed),
* Igor Konnov (Institute of Information Systems, TU Wien, Austria, to be confirmed),
* Victor Kuliamin (Institute for System Programming, Moscow, Russia, to be confirmed),
* Egor Kuzmin (Yaroslavl State University, Russia, to be confirmed),
* Alexei Lisitsa (University of Liverpool, UK, to be confirmed),
* 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: 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 also invites short (up to 4 
pages) memorial contributions devoted to science and research legacy of 
Boris Trakhtenbrot, Mars Valiev, Michael Dekhtyar, and their former 
disciples, fellows, and colleagues. All submissions (research and 
memorial) should be via EasyChair conference system ( 
https://easychair.org/conferences/?conf=pssv2018 ). 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 )
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam