Научно-практическая конференция «Инструменты и методы анализа программ», TMPA - 2017

Регион события: Москва
Адрес проведения: Дмитровское шоссе, владение 171
Место проведения: Holiday Inn Moscow Vinogradovo (www.himv.ru)
Дата события: Пятница, 03 - 04 марта 2017
Крайний срок: 09.12.2016

Описание события: 

3-4 марта 2017 в Москве пройдет четвертая международная научно-практическая конференция Tools & Methods of Program Analysis / Инструменты и методы анализа программ, TMPA - 2017.

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

Срок подачи тезисов до 9 декабря 2016 года.  

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

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

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

Официальный язык конференции английский. 

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

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

Прием и публикация работ:

На конференцию принимаются статьи двух типов: full papers (до 12 страниц) и short papers (до 6 страниц), оформленные в соответствии с Springer LNCS style.

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

Статьи, отобранные членами программного комитетам по итогам процесса рецензирования, по предварительной договоренности с издательством Springer будут опубликованы в серии Communications in Computer and Information Science (CCIS Springer  http://www.springer.com/series/7899) и проиндексированы в базе научных работ Scopus.

Ссылку на загрузку статей в систему EasyChair и требования к работам можно найти на сайте конференции: http://tmpaconf.org/submissionru

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

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

Участие в конференции

Участие в конференции бесплатное, требуется предварительная регистрация http://tmpaconf.org/registrationru/

Возможно участие в качестве слушателя.

Контакты

Группы в социальных сетях: