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

Nikolay Shilov shilov at iis.nsk.su
Sun Dec 4 15:38:36 EST 2016


Eighth Workshop 

Program Semantics, Specification and Verification: Theory and Applications 

(PSSV 2016, June 23-24, 2017, 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 26-29, 2017, PSI-2017,
http://logic.pdmi.ras.ru/csr2016/) 

 

Official language: English.

 

Extended abstract submission: April 10, 2017

Notification: May 15, 2017

Registration via registration page of PSI-2017
(http://psi.ispras.ru/en/registration.html coming soon).

 

Expression of Interest 

Organizers are going to apply Russian Foundation for Basic Research (RFBR,
http://www.rfbr.ru/rffi/eng) 

for financial support for the workshop. According to regulations of 

RFBR ( http://www.rfbr.ru/rffi/ru/contest/n_812/o_1963824), application must
provide a preliminary 

list of participants. Due to this reason we kindly ask perspective
participants to express interest 

by submitting via EasyChair conference system
(https://easychair.org/conferences/?conf=pssv2017) 

a preliminary list of authors and a tentative paper title by January 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 Speaker(s):

* Irina Lomazova (Higher School of Economics, Moscow, Russia),

* 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),

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

 

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



---
Это сообщение проверено на вирусы антивирусом Avast.
https://www.avast.com/antivirus
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161204/5c36892e/attachment-0001.html>


More information about the Types-announce mailing list