[TYPES/announce] Second call for submissions (and deadline extension) - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format)

) * Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia), * Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia).   PSSV-2021 Program Co-Chairs: * Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru) * Vladimir

[TYPES/announce] Call for short submissions - PSSV-2021: Workshop Program Semantics, Specification and Verification (hybrid format)

Program Co-Chairs: * Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru) * Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su)   Invited Sessions and Speakers * Invited session devoted to the anniversary the achievements of Professor Alexander K. Petrenko, Head

[TYPES/announce] Call for short submissions - PSSV-2020: XI Workshop Program Semantics, Specification and Verification

stem Programming, RAS, Moscow, Russia).   PSSV-2020 Program Co-Chairs: * Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru) * Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su)   PSSV Steering Committee: * Valery Nepomniaschy (Institute of Informatics Systems, Novosib

[TYPES/announce] 3rd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification

zara (Innopolis University, Russia), * Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia), * Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia). PSSV-2020 Program Co-Chairs: * Nikolay Shilov (Innopolis University, Ru

[TYPES/announce] 2nd Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification

RAS, Moscow, Russia).   PSSV-2020 Program Co-Chairs: * Nikolay Shilov (Innopolis University, Russia, shiloviis(at)mail.ru) * Vladimir Zakharov (Moscow State University, Russia, zakh(at)cs.msu.su)   PSSV Steering Committee: * Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia,

[TYPES/announce] Call for Papers - PSSV-2020: XI Workshop Program Semantics, Specification and Verification

nuel Mazzara (Innopolis University, Russia), * Sergey Staroletov (Polzunov Altai State Technical University, Barnaul, Russia), * Nina Yevtushenko (Tomsk State University and Institute for System Programming, RAS, Moscow, Russia). PSSV-2020 Program Co-Chairs: * Nikolay Shilov (Innopolis University, Ru

[TYPES/announce] Call for contributions - Fun With Formal Methods

Russia) * Nikolay V. Shilov (Innopolis University, Russia) - organizer (contact by e-mail shiloviis(at)mail.ru) Invited Speakers: TBD (still:-( Submission and Publication Plans Extended abstracts and/or papers on topics related to FWFM are solicited. There is no any strict limit for

[TYPES/announce] CFP: Workshop on Program Semantics, Specification and Verification (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia)

(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

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

, 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

[TYPES/announce] Fun With Formal Methods: deadline extension and 2nd CFP.

, 2014: FWFM workshop in Vienna. * Registration Dates and Details Please refer to the main registration page of VSL at http://vsl2014.at/registration/ for further details, fees and methods of payment. * For further questions please contact Nikolay Shilov (nikolay.shi...@nu.edu.kz) Nazarbayev

[TYPES/announce] Workshop on Fun With Formal Methods: Call For Papers.

.at/registration/ for further details, fees and methods of payment. * For further questions please contact Nikolay Shilov ( mailto:nikolay.shi...@nu.edu.kz nikolay.shi...@nu.edu.kz) Associate Professor School of Science and Technology Nazarbayev University, Astana, Kazakhstan (while

[TYPES/announce] PSSV: final CFP deadline extension (St. Petersburg, Russia).

Lomazova (Higher School of Economics, Moscow, Russia), * Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia), * Vladimir Zakharov (Moscow State University, Russia). === Submission and Publication Program Committee invites submissions

[TYPES/announce] CFP: Second Workshop on Program Semantics, Specification and Verification (St. Petersburg, Russia).

Lomazova (Higher School of Economics, Moscow, Russia), * Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia), * Vladimir Zakharov (Moscow State University, Russia). === Submission and Publication Program Committee invites submissions

[TYPES/announce] CFP: Workshop on Program Understanding (July 2 - 4, 2011, Novosibirsk, Russia)

/) * Peter Sestoft, IT University of Copenhagen , Denmark (sest...@itu.dk, http://www.itu.dk/~sestoft/) * Nikolay Shilov, A.P.Ershov Institute of Informatics Systems, Russia (shi...@iis.nsk.su, http://www.iis.nsk.su/persons/shilov/shilov.htm) * Andrey Terekhov, St. Petersburg State University, Russia

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

* 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

[TYPES/announce] CFP: Int. Workshop on Program Understanding (19-22 June, Russia)

, Sweden 7.Merik Meriste, University of Tartu, Estonia 8.Eric Monfroy, University of Nantes, France 9.Nikolaj Nikitchenko, Kiev National University, Ukraine 10.Peter Sestoft, Royal Veterinary and Agricultural University, Denmark 11.Nickolay Shilov, A.P.Ershov Institute of Informatics Systems, Russia