Календарь мероприятий
январь 2025
Пн |
Вт |
Ср |
Чт |
Пт |
Сб |
Вс |
| | 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 | 31 | | |
показать все
Новости партнеров
RED Security SOC: хакеры усилили давление на критическую информационную инфраструктуру России
Читать далее
«Газинформсервис» занял 2-ое место в списке поставщиков решений для защиты информации в РФ
Читать далее
РАЭК определила лидера среди классифайдов по числу объявлений о долгосрочной аренде
Читать далее
За экспертизой в инфобезе — к «Газинформсервису»
Читать далее
Компания «ИнфоТеКС» объявляет о выпуске сертифицированной версии ViPNet xFirewall 5.6.2
Читать далее
показать все
Статьи
Лучшее, конечно, впереди?
Читать далее
Как управлять командой разработчиков в условиях постоянных изменений?
Читать далее
Как привлекать ИТ-таланты в условиях дефицита кадров?
Читать далее
Импортозамещение платформ серверной виртуализации
Читать далее
Что следует учитывать ИТ-директорам, прежде чем претендовать на должность генерального директора?
Читать далее
Сетевая инфраструктура, сетевые технологии: что лучше – самостоятельная поддержка или внешнее обслуживание?
Читать далее
Взгляд в перспективу: что будет двигать отрасль информационной безопасности
Читать далее
5 способов повысить безопасность электронной подписи
Читать далее
Как искусственный интеллект изменит экономику
Читать далее
Неочевидный САПР: выход ПО за рамки конструкторской деятельности
Читать далее
показать все
|
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
|