Третья международная научно-практическая конференция "Инструменты и методы анализа программ" (TMPA-2015)

Конференция пройдёт 12 - 14 ноября 2015 года и соберёт студентов, аспирантов и молодых учёных, специализирующихся в области разработки программного обеспечения и заинтересованных в независимой экспертизе своих исследований, а также признанных учёных, готовых поделиться своими инновационными разработками.

Дата начала: 12.11.15

Дата окончания: 14.11.15

Место и адрес проведения: Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург, Политехническая, 29

Описание мероприятия:

Конференция пройдёт 12 - 14 ноября 2015 года и соберёт студентов, аспирантов и молодых учёных, специализирующихся в области разработки программного обеспечения и заинтересованных в независимой экспертизе своих исследований, а также признанных учёных, готовых поделиться своими инновационными разработками.   

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

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

К участию в программе конференции принимаются заявки в форме конкурсных докладов для отбора на рецензирование независимыми экспертами конференции "TMPA-2015", в качестве которых выступят российские и зарубежные учёные в области разработки и анализа программного обеспечения.

Языки конференции - русский и английский.

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

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

Организаторы:

  • Санкт-Петербургский политехнический университет Петра Великого, кафедра компьютерных систем и программных технологий института информационных технологий и управления СпбПУ;
  • Федеральный исследовательский центр «Информатика и управление» Российской академии наук;
  • Компания Exactpro Systems, входящая в группу Лондонская фондовая биржа

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

Страница мероприятия: http://tmpaconf.org

Контактная информация оргкомитета:

  • Телефон: +7 495 640 24 60

Электронная почта: program@tmpaconf.org

Редактор раздела: Тимофей Белосельцев (info@mskit.ru)

Рубрики: Маркетинг, Кадры

наверх
 
 
     

А знаете ли Вы что?

     
 

ITSZ.RU: последние новости Петербурга и Северо-Запада

19.11.2020 Петербуржцы в онлайн-шопинге предпочитают локальные и зарубежные магазины

17.11.2020 3 кита рынка смартфонов эпохи коронавируса

13.11.2020 ВТБ развивает онлайн

10.11.2020 Selectel запускает бесплатную защиту от DDoS-атак

30.10.2020 Опыт применения СЭД/ECM-решений ЭОС в условиях ковид-ограничений представлен на заседании комитета АПКИТ

30.10.2020 ПСС ГРАЙТЕК обсудила актуальные вопросы цифровизации на 100+ Forum Russia

29.10.2020 МТС привез ЦОД в Ленобласть

22.10.2020 Рынок СЭД: от спокойных лет к активной трансформации

MSKIT.RU: последние новости Москвы и Центра

19.11.2020 Рынок онлайн-торговли нацелился на рекорды

17.11.2020 3 кита рынка смартфонов эпохи коронавируса

13.11.2020 ВТБ развивает онлайн

10.11.2020 Selectel запускает бесплатную защиту от DDoS-атак

30.10.2020 Опыт применения СЭД/ECM-решений ЭОС в условиях ковид-ограничений представлен на заседании комитета АПКИТ

30.10.2020 ПСС ГРАЙТЕК обсудила актуальные вопросы цифровизации на 100+ Forum Russia

29.10.2020 МТС привез ЦОД в Ленобласть

22.10.2020 Рынок СЭД: от спокойных лет к активной трансформации

NNIT.RU: последние новости Нижнего Новгорода

19.11.2020 Рынок онлайн-торговли нацелился на рекорды

17.11.2020 3 кита рынка смартфонов эпохи коронавируса

13.11.2020 ВТБ развивает онлайн

10.11.2020 Selectel запускает бесплатную защиту от DDoS-атак

30.10.2020 Опыт применения СЭД/ECM-решений ЭОС в условиях ковид-ограничений представлен на заседании комитета АПКИТ

30.10.2020 ПСС ГРАЙТЕК обсудила актуальные вопросы цифровизации на 100+ Forum Russia

29.10.2020 МТС привез ЦОД в Ленобласть

22.10.2020 Рынок СЭД: от спокойных лет к активной трансформации