Организаторы

 

 

 

Гаранина Наталья

к.ф.-м.н., с.н.с. Института Систем Информатики, Института Автоматики и Электрометрии СО РАН, доцент НГУ

Ответственная за секцию Model Checking

 

 

 

 

Кондратьев Дмитрий

к.ф.-м.н., н.с. Института Систем Информатики СО РАН

Ответственный за секцию Deductive Verification



 

 

Старолетов Сергей

к.ф.-м.н., доцент АлтГТУ, с.н.с. Института Автоматики  и Электрометрии СО РАН

Ответственный за секцию Model Checking

И за данный сайт

 

 

Шошмина Ирина

к.т.н, доцент кафедры распределенных вычислений СПбПУ

Ответственная за секцию Model Checking