Студенческая школа "Формальные методы дизайна и верификации программного обеспечения".

1-9 ноября 2021 в университете Сириус (г. Сочи) состоится студенческая школа "Формальные методы дизайна и верификации программного обеспечения". К участию приглашаются студенты и аспиранты, интересующиеся математическими методами и практическими инструментами верификации компьютерных программ.

Плата за обучение и перелет не взимается.

Заявки принимаются до 17 октября 2021 года.