Конференция пройдёт 12 - 14 ноября 2015 года в Санкт-Петербургском политехническом университете Петра Великого.
Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики, включая ИТ-индустрию, финансовый сектор, транспорт, медицину, высокотехнологическую промышленность и многие другие. Разработка новых и усовершенствование существующих инструментов и методов анализа программ — одно из необходимых условий внедрения инноваций в этих отраслях.
Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов; доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты.
Темы, рассматриваемые на конференции, включают (но не ограничиваются):
- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Более подробную информацию об участии, месте проведения и организаторах можно узнать на официальном сайте TMPA-2015 , а также на страницах мероприятия в социальных сетях: Facebook: www.facebook.com/groups/tmpaconf ВКонтакте: www.vk.com/tmpaconf Контактный телефон оргкомитета (495) 640 24 60