TMPA-2017: о конференции

Четвертая международная научно-практическая конференция Инструменты и методы анализа программ пройдет 3-4 марта 2017 г. в Москве в сотрудничестве с ACM Sigsoft (профильным комитетом АСМ в области программной инженерии).

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

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

Статьи, отобранные членами программного комитетам по итогам процесса рецензирования, по предварительной договоренности с издательством Springer будут опубликованы в серии Communications in Computer and Information Science и проиндексированы в базах научных работ Scopus и DBLP.

На конференции будут представлены приглашенные доклады признанных специалистов в области программной инженерии и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами.

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

ТРЕБОВАНИЯ К СТАТЬЯМ

В этом году на конференцию принимаются полные (full papers) и короткие статьи (short papers) объемом до 12 и до 6 страниц, оформленные в соответствии с Springer LNCS style. Для оформления статей можно использовать LaTeX шаблоны с сайта Springer или пакеты Springer LNCS в онлайн-редакторе Sharelatex.

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

На каждую статью членами ПК или другими экспертами-рецензентами будут написаны по крайней мере 3 рецензии. Рецензенты будут оценивать работы с точки зрения соответствия темам конференции, новизны, значимости и ясности изложения материала.

Статьи, отобранные членами программного комитетам по итогам процесса рецензирования, по предварительной договоренности с издательством Springer будут опубликованы в серии Communications in Computer and Information Science и проиндексированы в базах научных работ Scopus и DBLP.

Статьи подаются через систему EasyChair. При загрузке статьи в систему авторы должны прикрепить аннотацию к статье и ключевые слова. Ссылка на подачу статей доступна здесь.

Чтобы работа была опубликована, хотя бы один из авторов должен представить ее на конференции.

ПРОГРАММНЫЙ КОМИТЕТ

Программный комитет конференции включает более 70 исследователей и экспертов в области программной инженерии, тестирования и верификации программного обеспечения и включает в себя рецензентов из университетов и научных центров 14 стран: Австралии, Австрии, Бразилии, Великобритании, Германии, Испании, Италии, Канады, Нидерландов, России, США, Франции, Швеции и Японии.

Полный список программного комитета TMPA вы можете найти здесь

КЛЮЧЕВЫЕ ДАТЫ

• 9 января — окончание приёма аннотаций и статей;
• 3 февраля — публикация списка принятых работ;
• 3-4 марта — конференция TMPA-2017.

Темы

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

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