Новости

PSSV 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.

Третий международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (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.