Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» PSSV-2010
14 - 15 June 2010, KazanRubrics: Seminar | IT Activity URL: http://www.iis.nsk.su/news/conferences/pdf/20100127_PSSV_2010_CFP_ru.pdfDescription:14–15 июня 2010 года, Казань, Татарстан, Институт проблем информатики АН Республики Татарстан, Казанский государственный университет.
Семинар пройдет в рамках V международного симпозиума по компьютерным наукам в России (5th International Computer Science Symposium in Russia, CSR-2010, 16-20 июня 2010 года)
Тематика семинара:
Крайний срок представления докладов по электронной почте: 10 марта 2010 г.
Рабочие языки и языки публикации докладов: русский и английский
630090, г. Новосибирск, пр. Лаврентьева, д.6, Институт систем информатики им. А. П. Ершова;
тел: (383) 330-63-60;
факс: (383) 332 34-94;
E-mail: promsky@iis.nsk.su.
Information source: http://elementy.ru/
тел: (383) 330-63-60;
факс: (383) 332 34-94;
E-mail: promsky@iis.nsk.su.