BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
TMPA-2013 Tools & Methods of Program
1. Международная научно-практическая конференция: Tools & Methods of Program
Analysis (Инструменты и методы анализа программ, TMPA-2013)
10-12 октября 2013, г. Кострома, РФ: www.tmpaconf.org
Общая информация
10 - 12 октября 2013 года в Костроме будет проходить международная научно-практическая
конференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболее
актуальных и важных направлений программной инженерии – анализу качества программного
обеспечения.
Вопросы эффективности и корректности функционирования программного обеспечения являются
ключевыми для большинства наукоемких отраслей современной экономики, включая ИТ-индустрию,
финансовый сектор, транспорт, медицину, высокотехнологическую промышленность и многие другие.
Разработка новых и усовершенствование существующих инструментов и методов анализа программ
– одно из необходимых условий внедрения инноваций в этих отраслях.
Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение
новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов;
доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации
открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные
исследования или новые инструменты.
Тематика конференции
Темы, рассматриваемые на конференции, включают (но не ограничиваются):
автоматизация тестирования программного обеспечения;
статический анализ программ;
верификация;
динамические методы анализа программ;
тестирование и анализ параллельных и распределенных систем;
тестирование и анализ высоконагруженных систем и систем высокой доступности;
анализ и верификация программно-аппаратных систем;
методы создания качественного программного обеспечения;
инструментальные средства анализа, тестирования и верификации.
1
2. Описание конференции
На конференции будут представлены как приглашенные доклады признанных специалистов в
области программной инженерии, так и конкурсные доклады, прошедшие рецензирование
несколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские и
зарубежные ученые в области разработки и анализа программного обеспечения. Отобранные
конкурсные доклады после доработки авторами будут опубликованы в сборнике конференции.
Лучшие доклады будут рекомендованы к публикации в расширенном виде в изданиях, включенных в
список ВАК РФ: «Системы и средства информатики» и «Научно-технические ведомости СПбГПУ.
Информатика, телекоммуникации, управление». Оргкомитет предоставит авторам ряда отобранных
статей помощь в переводе их на английский язык с целью обеспечения возможности публикации в
зарубежных изданиях.
Авторы лучших докладов будут награждены памятными подарками. Оргкомитет организует
бесплатное проживание для докладчиков конференции и транспорт для участников между Москвой и
Костромой.
Организаторы конференции
Факультет автоматизированных систем и технологий, Костромской государственный
технологический университет (ФАСТ КГТУ: www.kstu.edu.ru/univer/faculty.php?id_k=3)
Институт проблем информатики Российской академии наук (ИПИ РАН: www.ipiran.ru)
Кафедра компьютерных систем и программных технологий института информационных
технологий и управления Санкт-Петербургского государственного политехнического
университета (КСПТ ИИТУ СПбГПУ: http://kspt.ftk.spbstu.ru/)
Компания «Инновационные Трейдинговые Системы» (ИТС: www.its-trading.ru)
Программный комитет конференции
Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель
Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и
программных технологий СПбГПУ, со-председатель
Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель
Басок Борис Моисеевич, к.т.н., доцент МИРЭА
Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ;
Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ
ИПМ им. М.В. Келдыша РАН;
Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ;
Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ;
Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ;
Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН;
Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft;
Федосеев Андрей Алексеевич, к.т.н., в.н.с. ИПИ РАН;
Филиппов Станислав Александрович, к.т.н., с.н.с. ИПИ РАН;
Христочевский Сергей Александрович, к.ф.-м.н., зав. лаб. ИПИ РАН
Цесько Вадим Александрович, старший разработчик, Яндекс
Организационный комитет конференции
Киселев Михаил Владимирович, д.т.н., проф., проректор по научной работе КГТУ,
председатель;
Матвеева Елена Анатольевна, зав. аспирантурой и докторантурой КГТУ;
Тихомиров Леонид Алексеевич, к.т.н, доцент, начальник Управления научно-инновационной
деятельности КГТУ;
Яворский Ростислав Эдуардович, к.ф.-м.н., Фонд «Сколково»;
Ходченко Александра Сергеевна, «Инновационные Трейдинговые Системы»
2
3. Подача докладов
На конференцию принимаются конкурсные доклады на русском языке, объемом до 8 страниц,
оформленные в соответствии с требованиями Lecture Notes in Computer Science (LNCS). На странице
www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0 приведена подробная
информация об оформлении статей, в том числе представлены шаблоны для популярных текстовых
процессоров и систем компьютерной верстки. В качестве примера оформления статей можно
использовать следующий документ, содержащий описание требований к оформлению LNCS:
http://www.springer.com/cda/content/document/cda_downloaddocument/Springer_CS_Proceedings_Author_
Guidelines_Jan_2013.pdf?SGWID=0-0-45-1121537-0 В нем описание требований представлено в виде
статьи в формате LNCS.
Участники конференции
Программный комитет предполагает, что основными участниками конференции будут студенты
старших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты и
молодые ученые, заинтересованные в независимой экспертизе своих исследований, а также
признанные ученые, готовые поделиться своими инновационными разработками.
Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мы
ожидаем интересных практических докладов от ведущих фирм-разработчиков программного
обеспечения.
Место проведения
Конференция будет проходить в Костромском государственном технологическом университете
(КГТУ).
Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на
берегах Волги в 313 км к северу от Москвы.
С 2010 года в городе активно развивается разработка инструментов и методов по анализу программ
и комплексов высоконагруженных биржевых и трейдинговых систем.
В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над
превращением города в один из центров разработки программного обеспечения.
Ключевые даты
1 мая – начало приема заявок;
1 июля – последний срок подачи статей;
24 августа – публикация списка принятых работ;
10 сентября – предоставление финальных версий статей для публикации в сборнике;
10-12 октября – рабочие дни конференции «TMPA-2013».
Контакты
Сайт конференции: www.tmpaconf.org
E-mail: program@tmpaconf.org
Телефон: +7 495 640 2460
Группы в социальных сетях:
Facebook: www.facebook.com/groups/tmpaconf
ВКонтакте: www.vk.com/tmpaconf
Google+: www.plus.google.com/u/0/s/tmpaconf
3