Программный комитет

В программный комитет семинара каждый год входят ведущие российские и зарубежные ученые, работающие в области семантики и верификации.

Сопредседатели программного комитета:

  • Непомнящий Валерий Александрович (Институт систем информатики СО РАН, vnep (at) iis.nsk.su),
  • Соколов Валерий Анатольевич (Ярославский государственный университет, valery-sokolov (at) yandex.ru).

Программный комитет:

  • Алехина Наташа (Университет Нотингема, Великобритания),
  • Баранов Сергей Николаевич (Санкт-Петербургский институт информатики и автоматизации РАН),
  • Болотов Александр (Университет Вестминстера, Великобритания),
  • Евтушенко Нина Владимировна (Томский государственный университет),
  • Ицыксон Владимир Михайлович (Санкт-Петербургский политехнический университет Петра Великого),
  • Кулямин Виктор Вячеславович (Институт системного программирования РАН, Москва),
  • Лисица Алексей (Университет Ливерпуля, Великобритания),
  • Ломазова Ирина Александровна (Высшая школа экономики, Москва),
  • Шилов Николай Вячеславович (Институт систем информатики СО РАН, Новосибирск).
  • Захаров Владимир Анатольевич (Московский государственный университет)