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