Организаторы
Гаранина Наталья
Гаранина Наталья
к.ф.-м.н., с.н.с. Института Систем Информатики, Института Автоматики и Электрометрии СО РАН, доцент НГУ
Ответственная за секцию Model Checking
Кондратьев Дмитрий
Кондратьев Дмитрий
к.ф.-м.н., н.с. Института Систем Информатики СО РАН
Ответственный за секцию Deductive Verification
Старолетов Сергей
Старолетов Сергей
к.ф.-м.н., доцент АлтГТУ, с.н.с. Института Автоматики и Электрометрии СО РАН
Ответственный за секцию Model Checking
И за данный сайт
Шошмина Ирина
Шошмина Ирина
к.т.н, доцент кафедры распределенных вычислений СПбПУ
Ответственная за секцию Model Checking