Слушателям dev-sem я ничего другого предложить не могу.
---------- Forwarded Message ----------
Тема: [mod-sem] Семинар 18 апреля
Дата: 17 апреля 2013
Отправитель: Pashkov Vasily <vasya007(a)lvk.cs.msu.su>
получатель: mod-sem(a)lvk.cs.msu.su
Уважаемые коллеги!
Завтра наш семинар пройдет совместно с семинаром SDAT ("Технологии
разработки и анализа программ")
Тема доклада: Исследования Microsoft Research в области верификации
программных систем
Докладчик: Елена Анатольевна Павлова - …
[View More]к.т.н., координатор программ
Microsoft, выпускница НИЯУ МИФИ.
Место проведения: факультет ВМК, аудитория П-13. Начало в 18:00.
--
С уважением, Василий
-------------------------------------------------------
[View Less]
