Научные конференции России

Проект Добавить конференцию Объявления Рассылка Поиск Реклама


Поиск

Конференции 2013

Январь   Февраль   Март
Апрель   Май   Июнь
Июль   Август   Сентябрь
Октябрь   Ноябрь   Декабрь

Конференции 2014

Январь   Февраль   Март
Апрель   Май   Июнь
Июль   Август   Сентябрь
Октябрь   Ноябрь   Декабрь

Подписаться на рассылку

Международная научно-практическая конференция
"Инструменты и методы анализа программ, TMPA-2013"



10-12 октября 2013 года


Кострома

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

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

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

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

Организационный комитет конференции
• Киселев Михаил Владимирович, д.т.н., проф., проректор по научной работе КГТУ, председатель;
• Матвеева Елена Анатольевна, зав. аспирантурой и докторантурой КГТУ;
• Тихомиров Леонид Алексеевич, к.т.н, доцент, начальник Управления научно-инновационной деятельности КГТУ;
• Яворский Ростислав Эдуардович, к.ф.-м.н., Фонд «Сколково»;
• Ходченко Александра Сергеевна, «Инновационные Трейдинговые Системы»

Организаторы конференции
• Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ: www.kstu.edu.ru/univer/faculty.php?id_k=3);
• Институт проблем информатики Российской академии наук (ИПИ РАН: www.ipiran.ru);
• Кафедра компьютерных систем и программных технологий института информационных технологий и управления Санкт-Петербургского государственного политехнического университета (КСПТ ИИТУ СПбГПУ: http://kspt.ftk.spbstu.ru/);
• Компания «Инновационные Трейдинговые Системы» (ИТС: www.its-trading.ru);

Программный комитет
• Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель
• Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, со-председатель
• Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель
• Басок Борис Моисеевич, к.т.н., доцент МИРЭА
• Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ;
• Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
• Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
• Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ ИПМ им. М.В. Келдыша РАН;
• Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ;
• Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ;
• Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ;
• Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН;
• Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft;
• Федосеев Андрей Алексеевич, к.т.н., в.н.с. ИПИ РАН;
• Филиппов Станислав Александрович, к.т.н., с.н.с. ИПИ РАН;
• Христочевский Сергей Александрович, к.ф.-м.н., зав. лаб. ИПИ РАН
• Цесько Вадим Александрович, старший разработчик, Яндекс

Подача докладов
На конференцию принимаются конкурсные доклады на русском языке, объемом до 8 страниц, оформленные в соответствии с требованиями Lecture Notes in Computer Science (LNCS). На странице www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0 приведена подробная информация об оформлении статей, в том числе представлены шаблоны для популярных текстовых процессоров и систем компьютерной верстки.

В качестве примера оформления статей можно использовать следующий документ, содержащий описание требований к оформлению LNCS

В нем описание требований представлено в виде статьи в формате LNCS.

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

Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мы ожидаем интересных практических докладов от ведущих фирм-разработчиков программного обеспечения.

Место проведения
Конференция будет проходить в Костромском государственном технологическом университете (КГТУ).

Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на берегах Волги в 313 км к северу от Москвы.

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

В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над превращением города в один из центров разработки программного обеспечения.

Ключевые даты
• 1 мая – начало приема заявок;
• 1 июля – последний срок подачи статей;
• 24 августа – публикация списка принятых работ;
• 10 сентября – предоставление финальных версий статей для публикации в сборнике;
• 10-12 октября – рабочие дни конференции «TMPA-2013».

Контакты
Сайт конференции: www.tmpaconf.org
E-mail: program@tmpaconf.org
Телефон: +7 495 640 2460

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

Археология
Архитектура
Астрономия
Библиотековедение
Биология
Биотехнологии
Ветеринария
География
Геология
Журналистика
Зоология
Информационные технологии
Иностранные языки
Искусствоведение
История
Культурология
Литература
Маркетинг
Математика
Машиностроение
Медицина
Менеджмент
Методика преподавания
Музыковедение
Нанотехнологии
Науковедение
Образование
Оптика
Педагогика
Политология
Правоведение
Психология
Регионоведение
Религиоведение
Сельское хозяйство
Социология
Спорт
Строительство
Телекоммуникации
Техника
Туризм
Управление
Фармацевтика
Физика
Физическая культура
Филология
Философия
Химия
Экология
Экономика
Электроника
Электротехника
Юриcпруденция


Ссылки:
Статистика:

Присылайте объявления о конференциях
E-mail: konf@kon-ferenc.ru