Tools & Methods of Program Analysis 2014

Конференция
14-15 ноября 2014
г. Кострома, Костромской государственный технологический университет

В календарь

Google Calendar iCalendar (.ics)
Все мероприятия

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

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

Темы, рассматриваемые на конференции, включают (но не ограничиваются):

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


Описание конференции
На конференции будут представлены как приглашенные доклады признанных специалистов в области программной инженерии, так и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские и зарубежные ученые в области разработки и анализа программного обеспечения. Отобранные конкурсные доклады после доработки авторами будут опубликованы в сборнике конференции. Лучшие доклады будут рекомендованы к публикации в расширенном виде в изданиях, включенных в список ВАК РФ: «Системы и средства информатики» и «Научно-технические ведомости СПбГПУ. Информатика, телекоммуникации, управление». Оргкомитет предоставит авторам ряда отобранных статей помощь в переводе их на английский язык с целью обеспечения возможности публикации в зарубежных изданиях. Отобранные доклады будут опубликованы с использованием Conference Publishing Services of IEEE Computer Society.
Авторы лучших докладов будут награждены памятными подарками. Оргкомитет организует бесплатное проживание для докладчиков конференции и транспорт для участников между Москвой и Костромой.


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

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

Партнеры конференции

  • London Stock Exchange
  • Московская Биржа
  • Некоммерческое партнерство развития финансового рынка РТС
  • Devexperts
  • Exactpro Systems LLC

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

  • Захаров Виктор Николаевич, д.т.н., ИПИ РАН, сопредседатель
  • Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, сопредседатель
  • Петренко Александр Константинович, д.ф.-м.н., зав. отделом Технологий программирования Института системного программирования РАН, профессор кафедры Системного программирования ВМиК МГУ им. М.В.Ломоносова
  • Басок Борис Моисеевич, к.т.н., доцент МИРЭА
  • Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ, приглашенный исследователь в Clausthal University of Technology
  • Евтушенко Нина Владимировна, д.т.н., профессор, зав. кафедры Информационных технологий в исследовании дискретных структур, Радиофизический факультет, Национальный исследовательский Томский государственный университет (ТГУ)
  • Захаров Владимир Анатольевич, д.ф.-м.н., доцент кафедры МК, зав. лабораторией МПКБ
  • Иванов Александр Николаевич, к.ф.-м.н., ведущий разработчик ООО «КоФиТе»
  • Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
  • Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
  • Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ
  • Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ ИПМ им. М.В.Келдыша РАН
  • Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ
  • Маркова Наталья Александровна, к.ф.-м.н., в.н.с. ИПИ РАН
  • Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ, Intel Labs
  • Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН
  • Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft
  • Френкель Сергей Лазаревич, к.т.н., с.н.с. ИПИ РАН
  • Цесько Вадим Александрович, старший разработчик, Яндекс
  • Цителов Дмитрий Игоревич, руководитель Evolution Lab, Devexperts, LLC

Подача докладов
На конференцию принимаются конкурсные доклады на русском и английском языках, объемом до 12 страниц, оформленные в соответствии с требованиями double-column ACM/IEEE format. На странице http://www.ieee.org/conferences_events/conferences/publishing/templates.html приведена подробная информация об оформлении статей, в том числе представлены шаблоны для популярных текстовых процессоров и систем компьютерной верстки.

Участники конференции
Программный комитет предполагает, что основными участниками конференции будут студенты старших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты и молодые ученые, заинтересованные в независимой экспертизе своих исследований, а также признанные ученые, готовые поделиться своими инновационными разработками.
Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мы ожидаем интересных практических докладов от ведущих фирм-разработчиков программного обеспечения.

Место проведения

Конференция будет проходить в Костромском государственном технологическом университете (КГТУ).
Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на берегах Волги в 313 км к северу от Москвы.
С 2010 года в городе активно развивается разработка инструментов и методов по анализу программ и комплексов высоконагруженных биржевых и трейдинговых систем.
В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над превращением города в один из центров разработки программного обеспечения.

Ключевые даты

  • 16 июня – начало приема заявок;
  • 15 сентября – последний срок подачи статей;
  • 20 октября – публикация списка принятых работ;
  • 27 октября – предоставление финальных версий статей для публикации в сборнике;
  • 14-15 ноября – рабочие дни конференции «TMPA-2014».

Комментарии пользователей