Приглашаем студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников и сотрудников технологических компаний, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения, принять участие в четвертой научно-практической конференции Tools & Methods of Program Analysis / Инструменты и методы анализа программ.
Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики.
Четвертая международная научно-практическая конференция Tools & Methods of Program Analysis нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ.
На конференции будут представлены приглашенные доклады признанных специалистов в области программной инженерии и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. Организационный комитет конференции также готов предоставить ограниченное количество грантов на проживание для докладчиков, прошедших конкурсный отбор.
Темы, рассматриваемые на конференции, включают (но не ограничиваются):
- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Ключевые даты
- 9 декабря – окончание приёма аннотаций к докладам;
- 16 декабря – окончание приёма статей;
- 27 января – публикация списка принятых работ;
- 3−4 марта – конференция TMPA-2017.
Прием и публикация работ На конференцию принимаются статьи двух типов: full papers (до 12 страниц) и short papers (до 6 страниц), оформленные в соответствии с Springer LNCS style.
Статьи должны представлять новые, ранее не опубликованные и одновременно не представленные на другой конференции работы, написанные на английском языке. Статьи, отобранные членами программного комитетам по итогам процесса рецензирования, по предварительной договоренности с издательством Springer будут опубликованы в серии Communications in Computer and Information Science и проиндексированы в базе научных работ Scopus.
Ссылка на подачу статей в систему EasyChair доступна здесь. Больше информации о правилах подготовки статей можно найти на сайте конференции.
