Второй международный семинар "Семантика, спецификация и верификация программ: теория и приложения" состоится в Санкт-Петербурге с 12 по 13 июня 2011 г. Семинар пройдет в рамках шестого международного симпозиума по компьютерным наукам в России (6th International Computer Science Symposium in Russia, June 14-18, 2011).
Представление докладов может быть сделано по электронной почте до 1 марта 2011 г.
Извещение о включении доклада в программу семинара - до 31 марта 2011 г.
Второй международный семинар "Семантика, спецификация и верификация программ: теория и приложения" состоится в Санкт-Петербурге с 12 по 13 июня 2011 г. Семинар пройдет в рамках шестого международного симпозиума по компьютерным наукам в России (6th International Computer Science Symposium in Russia, June 14-18, 2011).
Представление докладов может быть сделано по электронной почте до 1 марта 2011 г.
Извещение о включении доклада в программу семинара - до 31 марта 2011 г.