Место Россия, Кострома
Email program@tmpaconf.org

Инструменты и методы анализа программ, TMPA-2013

Общая информация 

10  -  12 октября 2013 года в Костроме будет проходить международная научно-практическая конференция  «Tools& Methods of Program Analysis».  Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии  – анализу качества программного обеспечения. 

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

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

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

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

Организационный комитет конференции

• Киселев Михаил Владимирович,  д.т.н., проф., проректор по научной работе КГТУ, председатель;
• Матвеева Елена Анатольевна, зав. аспирантурой и докторантурой КГТУ;
• Тихомиров Леонид Алексеевич, к.т.н, доцент, начальник Управления научно-инновационной
• деятельности КГТУ;
• Яворский Ростислав Эдуардович, к.ф.-м.н., Фонд «Сколково»;
• Ходченко Александра Сергеевна, «Инновационные Трейдинговые Системы»

Организаторы конференции

• Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ: www.kstu.edu.ru/univer/faculty.php?id_k=3);
• Институт проблем информатики Российской академии наук (ИПИ РАН: www.ipiran.ru);
• Кафедра компьютерных систем и программных технологий института информационных технологий и управления Санкт-Петербургского государственного политехнического университета (КСПТ ИИТУ СПбГПУ: http://kspt.ftk.spbstu.ru/);
• Компания «Инновационные Трейдинговые Системы» (ИТС: www.its-trading.ru);

Программный комитет

• Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель
• Ицыксон Владимир Михайлович,  к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, со-председатель
•  Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель
•  Басок Борис Моисеевич, к.т.н., доцент МИРЭА
•  Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ