До 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 http://www.cis.upenn.edu/~stevez/
	Nenad Medvidović, Профессор, University of Southern California ACM SIGSOFT Executive Committee Chair http://sunset.usc.edu/~neno/

РЕГИСТРАЦИЯ

Участие в конференции бесплатное, требуется предварительная регистрация.

Спешите! Количество билетов ограничено.

http://tmpaconf.org/registrationru/

МЕСТО ПРОВЕДЕНИЯ

Holiday Inn Moscow Vinogradovo (www.himv.ru)

Дмитровское шоссе, владение 171 Москва, 127204, Россия

http://tmpaconf.org/venueru

ОРГАНИЗАТОРЫ, ПАРТНЕРЫ И СПОНСОРЫ

КОНТАКТЫ

Сайт конференции: www.tmpaconf.org

E-mail: info@tmpaconf.org

Группы в социальных сетях:

Facebook: www.facebook.com/groups/tmpaconf

ВКонтакте: www.vk.com/tmpaconf