ИСТИНА

Четвертая международная научно-практическая конференция Инструменты и методы анализа программ пройдет 3-4 марта 2017 г. в Москве в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии). Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики. Четвертая международная научно-практическая конференция Инструменты и методы анализа программ нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ. Приглашаем студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников и сотрудников технологических компаний, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения, принять участие в конференции. Статьи, отобранные членами программного комитетам по итогам процесса рецензирования, по предварительной договоренности с издательством Springer будут опубликованы в серии Communications in Computer and Information Science и проиндексированы в базах научных работ Scopus и DBLP. На конференции будут представлены приглашенные доклады признанных специалистов в области программной инженерии и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами.