Календарь мероприятий
апрель 2024
Пн |
Вт |
Ср |
Чт |
Пт |
Сб |
Вс |
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 | | | | | |
показать все
Новости партнеров
Сообщество цифровых управленцев «я-ИТ-ы» проводит ЗАКРЫТУЮ встречу в рамках выставки «Связь-2024»!
Читать далее
Ассоциация разработчиков «Отечественный софт» отметила 15-летие
Читать далее
РДТЕХ представил Технологическую карту российского ПО 2023
Читать далее
RAMAX Group получила партнерский статус уровня Gold по продукту Tarantool
Читать далее
показать все
Статьи
5 способов повысить безопасность электронной подписи
Читать далее
Как искусственный интеллект изменит экономику
Читать далее
Неочевидный САПР: выход ПО за рамки конструкторской деятельности
Читать далее
Скоро некому будет делать сайты и заниматься версткой
Читать далее
Цифровая трансформация в энергетике: как запустить проект с максимальным финансовым эффектом?
Читать далее
Мотивируй, не то проиграешь!
Читать далее
В 2024 году в России и мире вырастут объемы применения AR/VR
Читать далее
Цифровые технологии: надежды и риски
Читать далее
Будут ли востребованы услуги технической поддержки софта Oracle в России в ближайшие годы?
Читать далее
Здания с признаками интеллекта. Как Сергей Провалихин автоматизирует дома и производства
Читать далее
показать все
|
3-4 марта 2017 в Москве пройдет Четвертая Конференция по инструментам и методам анализа программ TMPA http://tmpaconf.org/
Главная / Новости партнеров / 3-4 марта 2017 в Москве пройдет Четвертая Конференция по инструментам и методам анализа программ TMPA http://tmpaconf.org/
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ.
ТЕМЫ Темы, рассматриваемые на конференции, включают (но не ограничиваются):
- автоматизация тестирования программного обеспечения
- статический анализ и верификация программ;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации программ.
УЧАСТНИКИ КОНФЕРЕНЦИИ
Студенты старших курсов, аспиранты, молодые ученые, преподаватели, научные сотрудники, сотрудники технологических компаний, а также приглашенные докладчики из крупнейших исследовательских центров в мире, чьи научные и практические интересы связаны с разработкой и анализом программного обеспечения.
КЛЮЧЕВЫЕ ДАТЫ 9 декабря — окончание приёма аннотаций к докладам; 16 декабря — окончание приёма статей; 27 января — публикация списка принятых работ;
С 27 января — регистрация для участников без докладов; 3-4 марта — конференция TMPA-2017.
ПРИЕМ И ПУБЛИКАЦИЯ РАБОТ
Статьи, отобранные членами программного комитетам по итогам процесса рецензирования, по предварительной договоренности с издательством Springer будут опубликованы в серии Communications in Computer and Information Science http://www.springer.com/series/7899 и проиндексированы в базе научных работ Scopus.
Подробнее о требованиях к публикациям в разделе Прием работ http://tmpaconf.org/submissionru на сайте конференции
МЕСТО ПРОВЕДЕНИЯ
Holiday Inn Moscow Vinogradovo (www.himv.ru)
Дмитровское шоссе, владение 171 Москва, 127204, Россия
КОНТАКТЫ
Сайт конференции: www.tmpaconf.org
E-mail: info@tmpaconf.org
Телефон: +7 495 640 24 60
Группы в социальных сетях:
Facebook: www.facebook.com/groups/tmpaconf В начало⇑
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
Комментарии отсутствуют
Комментарии могут отставлять только зарегистрированные пользователи
|
Вакансии на сайте Jooble
|