Семинар "ТРАП" 17 декабря

[Eugene Kornykhin]

Доброго времени суток! Ближайшая встреча научно-практического семинара "Технологии разработки и анализа программ" запланирована на четверг, 17 декабря.

Прошедшей осенью было объявлено о создании российской операционной системы "Astra Linux" (http://www.militarynews.ru/Story.asp?rid=1&nid=396221). Она реализована с учетом высоких требований к безопасности и конфиденциальности данных. Верификация модулей этой операционной системы выполняется силами сотрудников ИСП РАН. Один из них, Денис Ефремов, выпускник факультета ВМК МГУ, расскажет подробнее об этом. О  докладе можно прочитать на сайте семинара http://sdat.ispras.ru по короткой ссылке http://is.gd/E8ZYQI.

Ждем Вас в четверг, 17 декабря, в 18:00 на факультете ВМК МГУ (ул. Ленинские горы, д. 1, корп. 52), в аудитории П-13 ("северный вход" - дальний от Ломоносовского проспекта). В МГУ действует пропускная система, поэтому, если Вы не были на семинаре раньше, пришлите, пожалуйста, заранее свою фамилию, имя и отчество на sd...@ispras.ru, а на семинар не забудьте взять паспорт.

С уважением,

Евгений Корныхин