[TYPES/announce] CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2010, June 14-15, 2010 in Kazan, Russia)

[shilov@iis.nsk.su]

PSSV 2010 Call for Papers

The Workshop on Program Semantics, Specification and Verification: Theory 
and Applications (PSSV 2010) affiliated with 5th International Computer 
Science Symposium in Russia (CSR-2010, http://csr2010.antat.ru , June 16-20, 
2010)
will be held on June 14-15, 2010 in Kazan, Russia.

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

Important dates

Extended abstract submission: March 10, 2010
Notification: March 31, 2010

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

Official languages: English and Russian

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

Scope and Topics
Research, work in progress and position 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 specification of programs and systems;
* logics for formal specification and verification;
* deductive program verification;
* model checking of programs and systems;
* formal approach to testing and validation;
* software verification tools.
===========================================

Program Chairs

* Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, 
Russia, vnep at iis.nsk.su)
* Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, 
sokolov at uniyar.ac.ru)



Program Committee

* Natasha Alechina (University of Nottingham, UK)
* Boris Konev (University of Liverpool, UK)
* Victor Kuliamin (Institute for System Programming, Moscow, Russia)
* Nikolay V. Shilov (Institute of Informatics Systems, Novosibirsk, Russia)
* Natalia Sidorova (Techn. University Eindhoven, Netherlands)
* Vladimir Zakharov (Moscow State University, Russia)
===========================================

Submission and Publication

Program committee plans to have contributed talks and posters presentations.
Program Committee invites submissions in the form of extended abstracts with 
length up to 6 pages A4 in 12 pt font with line-spacing 1.5 intervals (in 
English or in Russian). Additional details may be included in an appendix up 
to 4 pages for Program Committee.
Submissions should be in PDF format and should be sent (as attachments) by 
e-mail to Alexei Promsky (Inst. of Informatics Systems, Novosibirsk, Russia) 
promsky at iis.nsk.su
All accepted papers will be published in the preliminary proceedings before 
the workshop and the volume of the proceedings will be distributed at 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.