Инструменты и методы анализа программ

Четвертая международная конференция “Инструменты и методы анализа программ” —  это крупнейшая научно-практическая конференция по анализу, тестированию и верификации программного обеспечения в России, нацеленная на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ.

Приглашаем к участию студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников и сотрудников технологических компаний, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения.

Конференция пройдет с 3 по 4 марта в Holiday Inn Moscow Vinogradovo в Москве в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии).

Официальный язык конференции — английский.