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

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

Рубрики: Конференция | ИТ

URL мероприятия: http://tmpaconf.org

Описание:

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

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

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

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

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

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

Срок подачи заявок: 22 июля 2013 г.

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

Контактная информация:
тел.: (495) 640-24-60;
E-mail: program@tmpaconf.org.

Источник информации: http://elementy.ru/