До 4 конференции по Инструментам и Методам Анализа Программ остается меньше 3 недель!
Четвертая международная конференция “Инструменты и методы анализа программ” – это крупнейшая научно-практическая конференция по анализу, тестированию и верификации программного обеспечения в России, нацеленная на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ.
Приглашаем к участию студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников и сотрудников технологических компаний, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения.
Конференция пройдет с 3 по 4 марта в Holiday Inn Moscow Vinogradovo в Москве в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии).
Официальный язык конференции – английский.
ПРОГРАММА КОНФЕРЕНЦИИ
http://tmpaconf.org/program2017ru#программа-конференции
В списке принятых работ – доклады от участников из Германии, России, США, Франции, Турции, Японии.
ПРИГЛАШЕННЫЕ ДОКЛАДЧИКИ
![]() |
Thomas A. Henzinger, Президент, IST, Austria (Institute of Science and Technology)http://pub.ist.ac.at/~tah/ |
|
Steve Zdancewic, Профессор,
University of Pennsylvania |
![]() |
|
![]() |
Nenad Medvidović, Профессор,
University of Southern California ACM SIGSOFT Executive Committee Chair |
РЕГИСТРАЦИЯ
Участие в конференции бесплатное, требуется предварительная регистрация.
Спешите! Количество билетов ограничено.
http://tmpaconf.org/registrationru/
МЕСТО ПРОВЕДЕНИЯ
Holiday Inn Moscow Vinogradovo (www.himv.ru)
Дмитровское шоссе, владение 171 Москва, 127204, Россия
ОРГАНИЗАТОРЫ, ПАРТНЕРЫ И СПОНСОРЫ
КОНТАКТЫ
Сайт конференции: www.tmpaconf.org
E-mail: info@tmpaconf.org
Группы в социальных сетях:
Facebook: www.facebook.com/groups/tmpaconf
ВКонтакте: www.vk.com/tmpaconf