[dev-sem] Fwd: [mod-sem] Семинар 18 апреля

Слушателям dev-sem я ничего другого предложить не могу.

---------- Forwarded Message ----------

Тема: [mod-sem] Семинар 18 апреля Дата: 17 апреля 2013 Отправитель: Pashkov Vasily vasya007@lvk.cs.msu.su получатель: mod-sem@lvk.cs.msu.su

Уважаемые коллеги!

Завтра наш семинар пройдет совместно с семинаром SDAT ("Технологии разработки и анализа программ")

Тема доклада: Исследования Microsoft Research в области верификации программных систем Докладчик: Елена Анатольевна Павлова - к.т.н., координатор программ Microsoft, выпускница НИЯУ МИФИ. Место проведения: факультет ВМК, аудитория П-13. Начало в 18:00.