ИСТИНА

• Члены программного комитета: Малышко В.В., Корныхин Е.В., Камкин А.С., Воеводин В.В., Захаров В.А., Камкин А.С., Петренко А.К., Волканов Д.Ю., Петренко А.К., Смелянский Р.Л.
• Охват: Международная
• Даты проведения: 30 мая - 1 июня 2016
• Место проведения: Московская область, Можайский район, деревня Красновидово, Russia
• Организаторы:
  МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования
  Федеральное государственное бюджетное образовательное учреждение высшего образования Санкт-Петербургский государственный университет
  МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
• Число участников: 70
• Число иностранных участников: 3
• Число участников из МГУ: 5
• Число докладчиков: 43
• Веб-сайт: http://syrcose.ispras.ru/
• Все конференции этой группы
• Описание конференции:

  SYRCoSE (Spring/Summer Young Researchers' Colloquium on Software Engineering) is an annual colloquium on software engineering targeted at young researchers (students, postgraduates, young PhDs, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops.

• Добавил в систему: Корныхин Евгений Валерьевич

Доклады:

• 2016 Design and Architecture of Real-time Operating System (Устный)
• Авторы: Mallachiev Kurbanmagomed, Khoroshilov Alexey, Pakulin Nikolay

• 2016 Developing a Debugger for Real-Time Operating System (Устный)
• Авторы: Emelenko Alexander, Pakulin Nikolay, Mallachiev Kurbanmagomed

• 2016 Protection and Mitigation of Software Bug Exploitation (Приглашенный)
• Автор: Vartan Padaryan

• 2016 Specification-Based Test Program Generation for MIPS64 Memory Management Units (Устный)
• Авторы: Kotsynyak Artem, Kamkin Alexander

• 2016 Verification of Operating Systems (Приглашенный)
• Автор: Alexey Khoroshilov