Третий международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications) PSSV 2012 пройдёт в Нижнем Новгороде 1-2 июля 2012 г. в рамках седьмого международного симпозиума по компьютерным наукам в России с 3 по 7 июля 2012 г.
Представление докладов осуществляется по электронной почте до 25 марта 2012 г. Извещение о включении доклада в программу семинара - 9 апреля 2012 г.
Через 3 дня после PSSV-2012 с 5 по 9 июля 2012 г. в Переславле-Залеском пройдёт международный семинар по метакомпиляции памяти Валентина Турчина - META 2012.
Третий международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications) PSSV 2012 пройдёт в Нижнем Новгороде 1-2 июля 2012 г. в рамках седьмого международного симпозиума по компьютерным наукам в России с 3 по 7 июля 2012 г.
Представление докладов осуществляется по электронной почте до 25 марта 2012 г. Извещение о включении доклада в программу семинара - 9 апреля 2012 г.
Через 3 дня после PSSV-2012 с 5 по 9 июля 2012 г. в Переславле-Залеском пройдёт международный семинар по метакомпиляции памяти Валентина Турчина - META 2012.