ИСТИНА

• Охват: Международная
• Даты проведения: 28 сентября - 2 октября 2015
• Место проведения: Ереван, Armenia
• Организаторы:
  The National Academy of Science of Armenia
  The Institute for Informatics and Automation Problems
• Число участников из МГУ: 2
• Веб-сайт: https://csit.am/2015/
• Все конференции этой группы
• Добавил в систему: Корныхин Евгений Валерьевич

Доклады:

• 2015 Service-oriented Centers of Excellence (Устный)
• Авторы: Avetisyan A.I., Ivannikov V.P.

• 2015 Towards Deductive Verification of Concurrent Linux Kernel Code with Jessie (Устный)
• Авторы: Khoroshilov Alexey, Mandrykin M.U.

• 2015 When Hyperscale Data Processing Meets HPC (Пленарный)
• Автор: Мелик-Адамян А.Ф.