3-4 марта 2017 г. в Москве состоится Четвертая международная научно-практическая конференция "Инструменты и методы анализа программ в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии)". Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики. Организатором и партнером мероприятия является ФИЦ ИУ РАН.