Третья международная научно-практическая конференция "Инструменты и методы анализа программ" (TMPA-2015)

Дата начала: 12.11.15 Дата окончания: 14.11.15

Место и адрес проведения: Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург, Политехническая, 29

Описание мероприятия:

Конференция пройдёт 12 - 14 ноября 2015 года и соберёт студентов, аспирантов и молодых учёных, специализирующихся в области разработки программного обеспечения и заинтересованных в независимой экспертизе своих исследований, а также признанных учёных, готовых поделиться своими инновационными разработками.   

Конференция будет посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения – и нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.

В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов, доклады участников, отобранные программным комитетом из числа поступивших заявок, презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты. Фирмы-разработчики программного обеспечения представят практические доклады.

К участию в программе конференции принимаются заявки в форме конкурсных докладов для отбора на рецензирование независимыми экспертами конференции "TMPA-2015", в качестве которых выступят российские и зарубежные учёные в области разработки и анализа программного обеспечения. 

Языки конференции - русский и английский.

Тематика конференции:

• автоматизация тестирования программного обеспечения;
• статический анализ программ;
• верификация;
• динамические методы анализа программ;
• тестирование и анализ параллельных и распределенных систем;
• тестирование и анализ высоконагруженных систем и систем высокой доступности;
• анализ и верификация программно-аппаратных систем;
• методы создания качественного программного обеспечения;
• инструментальные средства анализа, тестирования и верификации.

Организаторы:

• Санкт-Петербургский политехнический университет Петра Великого, кафедра компьютерных систем и программных технологий института информационных технологий и управления СпбПУ; 
• Федеральный исследовательский центр «Информатика и управление» Российской академии наук;
• Компания Exactpro Systems, входящая в группу Лондонская фондовая биржа 

Для участия в мероприятии требуется предварительная регистрация

Подробную информацию Вы сможете найти на официальном сайте конференции tmpaconf.org, а также на следующих страницах в социальных сетях:

• Facebook: facebook.com/groups/tmpaconf
• ВКонтакте: vk.com/clubqa
• Twitter: @exactpro
• Instagram: instagram.com/exactprosystems/

Контактная информация оргкомитета:

• Телефон: +7 495 640 24 60
• Электронная почта: program@tmpaconf.org

Партнёры:

• Лондонская фондовая биржа (lseg.com) 
• Компания GATElab (gatelab.com)