Новости

PSSV-2011: продлён срок представления тезисов

Продлён срок представления тезисов на международный семинар "Семантика, спецификация и верификация программ: теория и приложения". Семинар пройдет в рамках шестого международного симпозиума по компьютерным наукам в России (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 г.