Четвертая международная конференция “Инструменты и методы анализа программ” — это крупнейшая научно-практическая конференция по анализу, тестированию и верификации программного обеспечения в России, нацеленная на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ.
Приглашаем к участию студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников и сотрудников технологических компаний, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения.
Конференция пройдет с 3 по 4 марта в Holiday Inn Moscow Vinogradovo в Москве в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии).
Официальный язык конференции — английский.
Программа конференции доступна на официальном сайте TMPA программа-конференции
В списке принятых работ — доклады от участников из Германии, России, США, Франции, Турции, Японии.
Приглашенные докладчики:
- Thomas A. Henzinger, Президент, IST, Austria (Institute of Science and Technology)
- Steve Zdancewic, Профессор, University of Pennsylvania
- Nenad Medvidović, Профессор, University of Southern California, ACM SIGSOFT Executive Committee Chair
Участие в конференции бесплатное, требуется предварительная регистрация.
Количество билетов ограничено.
Организаторы, партнеры и спонсоры