III Международная научно-техническая конференция "Инструменты и методы анализа программ"
Санкт-Петербургский политехнический университет Петра Великого Кафедра компьютерных систем и программных технологий института информационных технологий и управления СпбПУ Федеральный исследовательский центр «Информатика и управление» Российской академии наук Компания Exactpro Systems
12 - 14 ноября 2015 года Санкт-Петербург
III Международная научно-техническая конференция "Инструменты и методы анализа программ" (Tools & Meyhods of Program Analysis, TMPA-2015) пройдёт 12 - 14 ноября 2015 года в Санкт-Петербургском университете Петра Великого и соберёт студентов, аспирантов и молодых учёных, специализирующихся в области разработки программного обеспечения и заинтересованных в независимой экспертизе своих исследований, а также признанных учёных, готовых поделиться своими инновационными разработками.
Конференция будет посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения – и нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов, доклады участников, отобранные программным комитетом из числа поступивших заявок, презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты. Фирмы-разработчики программного обеспечения представят практические доклады.
К участию в программе конференции принимаются заявки в форме конкурсных докладов для отбора на рецензирование независимыми экспертами конференции "TMPA-2015", в качестве которых выступят российские и зарубежные учёные в области разработки и анализа программного обеспечения.
Языки конференции - русский и английский.
Тематика конференции: • автоматизация тестирования программного обеспечения;
• статический анализ программ;
• верификация;
• динамические методы анализа программ;
• тестирование и анализ параллельных и распределенных систем;
• тестирование и анализ высоконагруженных систем и систем высокой доступности;
• анализ и верификация программно-аппаратных систем;
• методы создания качественного программного обеспечения;
• инструментальные средства анализа, тестирования и верификации.
Для участия в конференции требуется обязательная регистрация!
Подробную информацию Вы сможете найти на официальном сайте конференции tmpaconf.org а также на следующих страницах в социальных сетях:
Контактная информация оргкомитета: Телефон: +7 495 640 24 60
Электронная почта: program@tmpaconf.org или extent@exactpro.com
Организаторы: • Санкт-Петербургский политехнический университет Петра Великого, кафедра компьютерных систем и программных технологий института информационных технологий и управления СпбПУ (kspt.icc.spbstu.ru);
• Федеральный исследовательский центр «Информатика и управление» Российской академии наук (ipiran.ru);
• Компания Exactpro Systems, входящая в группу Лондонская фондовая биржа (exactpro.com)
Партнёры: Лондонская фондовая биржа (lseg.com)
Компания GATElab (gatelab.com)
Сообщите организатору мероприятия, что информация взята с портала www.kon-ferenc.ru
