10-12 октября 2013 года в Костроме будет проходить международная научно-практическая конференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения.
Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики, включая ИТ-индустрию, финансовый сектор, транспорт, медицину, высокотехнологическую промышленность и многие другие. Разработка новых и усовершенствование существующих инструментов и методов анализа программ – одно из необходимых условий внедрения инноваций в этих отраслях.
Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов; доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты.
Тематика конференции
Темы, рассматриваемые на конференции, включают (но не ограничиваются):- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Организаторы конференции
- Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ)
- Институт проблем информатики Российской академии наук (ИПИ РАН)
- Кафедра компьютерных систем и программных технологий института информационных технологий и управления Санкт-Петербургского государственного политехнического университета (КСПТ ИИТУ СПбГПУ)
- Компания «Инновационные Трейдинговые Системы» (ИТС)
Программный комитет конференции
- Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель
- Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, со-председатель
- Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель
- Басок Борис Моисеевич, к.т.н., доцент МИРЭА
- Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ;
- Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
- Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
- Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ ИПМ им. М.В. Келдыша РАН;
- Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ;
- Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ;
- Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ;
- Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН;
- Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft;
- Федосеев Андрей Алексеевич, к.т.н., в.н.с. ИПИ РАН;
- Филиппов Станислав Александрович, к.т.н., с.н.с. ИПИ РАН;
- Христочевский Сергей Александрович, к.ф.-м.н., зав. лаб. ИПИ РАН
- Цесько Вадим Александрович, старший разработчик, Яндекс
Организационный комитет конференции
- Киселев Михаил Владимирович (д.т.н., проф., проректор по научной работе КГТУ, председатель)
- Матвеева Елена Анатольевна (зав. аспирантурой и докторантурой КГТУ)
- Тихомиров Леонид Алексеевич (к.т.н, доцент, начальник Управления научно-инновационной деятельности КГТУ)
- Яворский Ростислав Эдуардович (Фонд «Сколково»)
- Ходченко Александра Сергеевна («Инновационные Трейдинговые Системы»)
Подача докладов
На конференцию принимаются конкурсные доклады на русском языке, объемом до 8 страниц, оформленные в соответствии с требованиями Lecture Notes in Computer Science (LNCS). Подробная информация об оформлении статей, в том числе представлены шаблоны для популярных текстовых процессоров и систем компьютерной верстки доступна по ссылке. В качестве примера оформления статей можно использовать следующий документ, содержащий описание требований к оформлению LNCS, представленное в виде статьи в формате LNCS.Участники конференции
Программный комитет предполагает, что основными участниками конференции будут студенты старших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты и молодые ученые, заинтересованные в независимой экспертизе своих исследований, а также признанные ученые, готовые поделиться своими инновационными разработками. Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мы ожидаем интересных практических докладов от ведущих фирм-разработчиков программного обеспечения.Место проведения
Конференция будет проходить в Костромском государственном технологическом университете (КГТУ). Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на берегах Волги в 313 км к северу от Москвы. С 2010 года в городе активно развивается разработка инструментов и методов по анализу программ и комплексов высоконагруженных биржевых и трейдинговых систем. В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над превращением города в один из центров разработки программного обеспечения.Ключевые даты
- 1 мая – начало приема заявок
- 1 июля – последний срок подачи статей.
- 24 августа – публикация списка принятых работ
- 10 сентября – предоставление финальных версий статей для публикации в сборнике
- 10-12 октября – рабочие дни конференции «TMPA-2013»
No comments:
Post a Comment