Международная научно-практическая конференция «Tools & Methods of Program Analysis» («Инструменты и методы анализа программ») (TMPA-2013)

10 - 12 October 2013, Kostroma

Rubrics: Conference | IT

Activity URL: http://tmpaconf.org

Description:

Международная научно-практическая конференция «Tools & Methods of Program Analysis» («Инструменты и методы анализа программ») (TMPA-2013)

10–12 октября 2013 года, Кострома.

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

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

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

Крайний срок представления аннотаций статей: 22 июля 2013 г.,
Крайний срок представления статей: 1 августа 2013 г.

Deadline date: July 22, 2013

Organizers:
Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ),
Институт проблем информатики Российской академии наук (ИПИ РАН),
Санкт-Петербургский государственный политехнический университет (СПбГПУ), кафедра компьютерных систем и программных технологий (КСПТ),
Компания «Инновационные Трейдинговые Системы» (ИТС).

Contact information:
тел.: (495) 640-24-60;
E-mail: program@tmpaconf.org.

Information source: http://elementy.ru/