• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020

Состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)»

XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020

3-4 ноября 2020 года при организационной поддержке НУЛ Процессно-ориентированных информационных систем Факультета компьютерных наук состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)». Мероприятие проходило в онлайн-формате на платформе Zoom. Программа Воркшопа включала доклады на актуальные темы теории и практики программной инженерии:

  • Верификация программ;
  • Программные логики и дедуктивный синтез программ;
  • Алгоритмы проверки эквивалентности различных классов конечных автоматов;
  • Технологии блокчейн.

С полным списком докладов можно ознакомиться на сайте воркшопа.

 

География докладчиков PSSV-2020 была действительно обширной. Помимо России, в этом году свои исследования представили коллективы из Сингапура, Армении, Нидерландов, Великобритании и Португалии.

 

Воркшоп завершился панельной дискуссией, на которой обсуждались проблемы и перспективы развития современных языков программирования. В ней приняли активное участие специалисты и исследователи из НИУ ВШЭ, Яндекса, JetBrains, Huawei и Университета Иннополис.