Четвертая международная конференция “Инструменты и методы анализа программ” - это крупнейшая научно-практическая конференция по анализу, тестированию и верификации программного обеспечения в России, нацеленная на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ.
Приглашаем к участию студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников и сотрудников технологических компаний, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения.
Конференция пройдет с 3 по 4 марта в Holiday Inn Moscow Vinogradovo в Москве в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии).
Международный портал «ХЕЛПИНВЕР - открой новую Россию!» является Информационным партнером конференции.
Официальный язык конференции - английский.
Программа конференции доступна на официальном сайте TMPA
В списке принятых работ - доклады от участников из Германии, России, США, Франции, Турции, Японии.
Приглашенные докладчики:
1. Thomas A. Henzinger, Президент, IST, Austria (Institute of Science and Technology)
2. Steve Zdancewic, Профессор, University of Pennsylvania
http://www.cis.upenn.edu/~stevez/
3. Nenad Medvidović, Профессор, University of Southern California, ACM SIGSOFT Executive Committee Chair
Участие в конференции бесплатное, требуется предварительная регистрация.
Спешите! Количество билетов ограничено.
Организаторы, партнеры и спонсоры
1. ACM Sigsoft (https://www.sigsoft.org/)
2. Springer (http://www.springer.com/gp/)
3. Exactpro, part of London Stock Exchange Group (http://www.exactprosystems.com/)
4. London Stock Exchange Group (https://www.lseg.com/)
5. Moscow Exchange (http://moex.com/en/)
6. НИУ ВШЭ (https://www.hse.ru/)
7. Санкт-Петербургский политехнический университет Петра Великого (http://www.spbstu.ru/)
8. ИСП РАН (http://www.ispras.ru/)
9. ФИЦ ИУ РАН (http://frccsc.ru/)
Контакты:
E-mail: info@tmpaconf.org
Сайт: tmpaconf.org
III Международная конференция «Инструменты и методы анализа программ» в СПбПУ / ©Youtube
