ИСТИНА

• Член программного комитета: Захаров В.А.
• Охват: Международная
• Даты проведения: 29 мая - 1 июня 2018
• Место проведения: Великий Новгород, Russia
• Организаторы:
  Институт системного программирования РАН
  Новгородский государственный университет имени Яроослава Мудрого
• Число участников: 50
• Число иностранных участников: 6
• Число участников из МГУ: 3
• Число докладчиков: 4
• Веб-сайт: http://syrcose.ispras.ru/2018/SYRCoSE2018-CfP.pdf
• Описание конференции:

  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. By tradition, the colloquium takes two days at the end of spring/beginning of summer, when the whether is usually sunny and, what is even more important, students are still in universities, not on summer vacation.

• Добавил в систему: Захаров Владимир Анатольевич

Доклады:

• 2018 On Minimization of Strictly Deterministic Timed Finite State Machines (Устный)
• Авторы: Zakharov V.A., Vinarskii E.M.

• 2018 On the Model Checking of Finite State Transducers over Semigroups (Устный)
• Авторы: Zakharov V.A., Gnatenko A.R.