|
Календарь мероприятий
апрель 2026
Пн |
Вт |
Ср |
Чт |
Пт |
Сб |
Вс |
| | 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 | | | |
показать все 
Новости партнеров
Использование рабочей почты на сторонних сервисах создает ИБ-риски
Читать далее 
Группа «Московская Биржа» представила результаты внедрения Единой СЭД на платформе Docsvision
Читать далее 
«Газинформсервис» и «AzInTelecom» заключили соглашение о взаимном признании электронной подписи между Россией и Азербайджаном
Читать далее 
САКУРА 3.2 – новые возможности и улучшения
Читать далее 
ЕМДЕВ выводит корпоративный портал Инкоманд на уровень 100% замещения Microsoft SharePoint
Читать далее 
показать все 
Статьи
Суверенные облака: стратегия на 2026–2028
Читать далее 
Российское ПО дорожает: как обосновать бюджет?
Читать далее 
Управление данными: искусство превращения хаоса в актив
Читать далее 
Эволюция бизнес-процессов от ИИ-инструментов к мультиагентным командам
Читать далее 
Время внедрения: ИИ в вашем бизнесе – эксперимент или реальная прибыль?
Читать далее 
Точность до метра и сантиметра: как применяют технологии позиционирования
Читать далее 
Как искусственный интеллект изменит экономику
Читать далее 
Эпоха российской ориентации на Запад в сфере программного обеспечения завершилась
Читать далее 
Сладкая жизнь
Читать далее 
12 бизнес-концепций, которыми должны овладеть ИТ-руководители
Читать далее 
показать все 
|
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


|