В рамках пятого международного симпозиума по компьютерным наукам в России (5th International Computer Science Symposium in Russia, CSR-2010, http://csr2010.antat.ru, June 16-20, 2010) 14-15 июня 2010 г. в Казани пройдет Международный семинар «Семантика, спецификация и верификация программ: теория и приложения». Крайний срок представления докладов 10 марта 2010 г.