21-22 июня 2018 года в Ярославле будет проходить IX Международный семинар “Program Semantics, Specification and Verification: Theory and Applications” (”Семантика, спецификация и верификация программ: теория и приложения”, PSSV-2018).
Организатором мероприятия выступает кафедра теоретической информатики (зав. кафедрой – профессор Соколов В.А.) факультета информатики и вычислительной техники Ярославского государственного университета им. П.Г. Демидова в сотрудничестве с Университетом Иннополис и МГУ.
Международный семинар "Семантика, спецификация и верификация программ: теория и приложения" (PSSV) является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения.
Первые восемь семинаров прошли в 2010 году в Казани, в 2011 году в Санкт-Петербурге, в 2012 году в Нижнем Новгороде, в 2013 году в Екатеринбурге, в 2014 году в Москве, в 2015 году в Казани, в 2016 году в в Санкт-Петербурге, в 2017 году в Москве.
На семинар приглашаются ведущие российские и зарубежные ученые в области спецификации, верификации и формальных методов в моделировании и анализе информационных систем.
Организационный и Программный комитеты PSSV-2018Состав Организационного комитета:
Egor Kuzmin (Yaroslavl State University, Russia, egorkuz@mail.ru)
Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov@yandex.ru)
Состав Программного комитета
Program Co-Chairs
Nikolay Shilov (Innopolis University, Russia, shiloviis@mail.ru)
Vladimir Zakharov (Moscow State University, Russia, zakh@cs.msu.su)
Steering Committee
Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep@iis.nsk.su)
Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, valery-sokolov@yandex.ru)
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 (Institute of Information Systems, TU Wien, Austria),
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).
Адрес сайта мероприятия: http://persons.iis.nsk.su/en/pssv2018
Место проведения: г. Ярославль, Угличская ул., 36, компания Тензор.Время работы: с 10 до 17 часов.
Место проведения | г. Ярославль, ул. Угличская, 36, компания “Тензор” |
Декабрь 2024 | ||||||
---|---|---|---|---|---|---|
Пн | Вт | Ср | Чт | Пт | Сб | Вс |
25 | 26 | 27 | 28 | 29 | 30 | 1 |
2 | 3 | 4 | 7 | 8 | ||
9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 | 17 | 18 | 19 | 20 | 21 | 22 |
23 | 24 | 25 | 26 | 27 | 28 | 29 |
30 | 31 | 1 | 2 | 3 | 4 | 5 |
+7(4852) 79-77-51
nis@uniyar.ac.ru
Ярославль,
ул. Советская, 14, к. 305
посмотреть на карте
+7(4852) 788-508
oi@uniyar.ac.ru
Ярославль,
ул. Комсомольская, 3, к. Лаборатория Делоне (вход с ул. Первомайской)
посмотреть на карте
с 8:30 до 17:30,
обед с 12:30 до 13:30