• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Мероприятия
30 ноября – 1 декабря
Статья
ADV_SPM — Формальные модели политики безопасности на практике

Хорошилов А. В., Щепетков И.

Труды Института системного программирования РАН. 2017. Т. 29. № 3. С. 43-56.

Глава в книге
Математическая модель фазовых переходов с учетом течения жидкости.

Карпов В.Е., Лобанов А. И.

В кн.: Тезисы докладов XXIV Международной конференции "Математика. Компьютер. Образование". МКО-2017. М.: 2017.

Наука – Новости

Вышка будет присуждать собственные ученые степени

Ряд научных организаций и вузов, в том числе НИУ ВШЭ, смогут самостоятельно утверждать ученые степени. Соответствующее распоряжение подписал премьер-министр России Дмитрий Медведев.

Ершовская конференция собрала программистов со всего мира

27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в  России с 1991 года –  11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.