14-15 июня 2016 г. в Петербурге состоится 7 (очередной) международный семинар "Программные семантики, спецификации и верификация" PSSV-2016. Приглашаем вас принять участие.
Ключевые даты:
представление докладов - 16 апреля 2016;
решение о принятии - 11 мая 2016.
Труды семинара будут опубликованы в одном из рецензируемых Российских журналов.