Календарь событий: сентябрь 2020
предыдущий | следующий месяц
Пн
Вт
Ср
Чт
Пт
Сб
Вс
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
4

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

Международный научно-исследовательский журнал, публикации РИНЦ, GeoRef, DOI



расширенный поиск
]]>

 

 

 

 

]]>

 

 

 


Добавить «Золотую ленточку»

14 ноября 2014 г. — 15 ноября 2014 г., срок заявок: 1 октября 2014 г.

Международная научно-практическая конференция «Инструменты и методы анализа программ» (TMPA-2014)

Россия, Кострома

Форма участия: очная

Язык информации: Русский

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

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

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

Темы, рассматриваемые на конференции, включают (но не ограничиваются):

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

Описание конференции
На конференции будут представлены как приглашенные доклады признанных специалистов в области программной инженерии, так и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские и зарубежные ученые в области разработки и анализа программного обеспечения. Отобранные конкурсные доклады после доработки авторами будут опубликованы в сборнике конференции. Лучшие доклады будут рекомендованы к публикации в расширенном виде в изданиях, включенных в список ВАК РФ: «Системы и средства информатики» и «Научно-технические ведомости СПбГПУ. Информатика, телекоммуникации, управление». Оргкомитет предоставит авторам ряда отобранных статей помощь в переводе их на английский язык с целью обеспечения возможности публикации в зарубежных изданиях. Отобранные доклады будут опубликованы с использованием Conference Publishing Services of IEEE Computer Society.
Авторы лучших докладов будут награждены памятными подарками. Оргкомитет организует бесплатное проживание для докладчиков конференции и транспорт для участников между Москвой и Костромой.

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

Захаров Виктор Николаевич, д.т.н., ИПИ РАН, сопредседатель
Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, сопредседатель
Петренко Александр Константинович, д.ф.-м.н., зав. отделом Технологий программирования Института системного программирования РАН, профессор кафедры Системного программирования ВМиК МГУ им. М.В.Ломоносова
Басок Борис Моисеевич, к.т.н., доцент МИРЭА
Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ, приглашенный исследователь в Clausthal University of Technology
Евтушенко Нина Владимировна, д.т.н., профессор, зав. кафедры Информационных технологий в исследовании дискретных структур, Радиофизический факультет, Национальный исследовательский Томский государственный университет (ТГУ)
Захаров Владимир Анатольевич, д.ф.-м.н., доцент кафедры МК, зав. лабораторией МПКБ
Иванов Александр Николаевич, к.ф.-м.н., ведущий разработчик ООО «КоФиТе»
Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ
Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ ИПМ им. М.В.Келдыша РАН
Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ
Маркова Наталья Александровна, к.ф.-м.н., в.н.с. ИПИ РАН
Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ, Intel Labs
Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН
Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft
Френкель Сергей Лазаревич, к.т.н., с.н.с. ИПИ РАН
Цесько Вадим Александрович, старший разработчик, Яндекс
Цителов Дмитрий Игоревич, руководитель Evolution Lab, Devexperts, LLC

Подача докладов
На конференцию принимаются конкурсные доклады на русском и английском языках, объемом до 12 страниц, оформленные в соответствии с требованиями double-column ACM/IEEE format. На странице http://www.ieee.org/conferences_events/conferences/publishing/templates.html приведена подробная информация об оформлении статей, в том числе представлены шаблоны для популярных текстовых процессоров и систем компьютерной верстки.

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

Место проведения

Конференция будет проходить в Костромском государственном технологическом университете (КГТУ).
Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на берегах Волги в 313 км к северу от Москвы.
С 2010 года в городе активно развивается разработка инструментов и методов по анализу программ и комплексов высоконагруженных биржевых и трейдинговых систем.
В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над превращением города в один из центров разработки программного обеспечения.

Ключевые даты

16 июня – начало приема заявок;
15 сентября – последний срок подачи статей;
20 октября – публикация списка принятых работ;
27 октября – предоставление финальных версий статей для публикации в сборнике;
14-15 ноября – рабочие дни конференции «TMPA-2014».

При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.

Последний день подачи заявки: 1 октября 2014 г. (приём заявок закончен)

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

Контактная информация: Веб: www.tmpaconf.org. E-mail: program@tmpaconf.org. Тел.: +7 495 640 2460. Веб: www.facebook.com/groups/tmpaconf; www.vk.com/tmpaconf

Эл. почта: program@tmpaconf.org

Поделитесь информацией о мероприятии со знакомыми:

 

 

Нашли ошибку? Выделите ее, нажмите Ctrl и Enter одновременно.

* 26 марта 2018 г. научной электронной библиотекой eLibrary.ru прекращена индексация в РИНЦ сборников статей по итогам заочных конференций.

Для отправления сообщения оргкомитету Вы должны быть зарегистрированы и авторизованы на сайте


Сообщение об ошибке отправлено администратору,
спасибо что пользуетесь нашим сервисом!

закроется через 2 секунды