Tools & Methods of Program Analysis

3 Марта 2017
245
Студенческая жизнь
Начало3 Марта 2017
Конец4 Марта 2017

Приглашаем студентов старших курсов, аспирантов, молодых ученых, преподавателей, научных сотрудников, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения, принять участие в четвертой научно-практической конференции Tools & Methods of Program Analysis / Инструменты и методы анализа программ.

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

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

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

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

Приглашенные докладчики

Thomas A. Henzinger, президент
Института Науки и Технологий (IST Austria)
http://pub.ist.ac.at/~tah/

Steve Zdancewic, профессор
Университета Пенсильвании
http://www.cis.upenn.edu/~stevez/

Nenad Medvidović, профессор
Университета Южной Калифорнии,
исполнительный директор ACM SIGSOFT
http://sunset.usc.edu/~neno/


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

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

Полный список членов ПК можно найти на нашем сайте: http://tmpaconf.org/committeeru/


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

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

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

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

Ссылку на загрузку статей в систему EasyChair и требования к работам можно найти в разделе "Подача работ" на сайте конференции.
Сайт конференции: www.tmpaconf.org
E¬mail: info@tmpaconf.org

Группы в социальных сетях:
Facebook: www.facebook.com/groups/tmpaconf
ВКонтакте: www.vk.com/tmpaconf