Третья международная научно-практическая конференция "Инструменты и методы анализа программ" (TMPA-2015)
Дата начала: 12.11.15
Дата окончания: 14.11.15
Место и адрес проведения: Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург, Политехническая, 29
Описание мероприятия:
Конференция пройдёт 12 - 14 ноября 2015 года и соберёт студентов, аспирантов и молодых учёных, специализирующихся в области разработки программного обеспечения и заинтересованных в независимой экспертизе своих исследований, а также признанных учёных, готовых поделиться своими инновационными разработками.
Конференция будет посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения – и нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов, доклады участников, отобранные программным комитетом из числа поступивших заявок, презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты. Фирмы-разработчики программного обеспечения представят практические доклады.
К участию в программе конференции принимаются заявки в форме конкурсных докладов для отбора на рецензирование независимыми экспертами конференции "TMPA-2015", в качестве которых выступят российские и зарубежные учёные в области разработки и анализа программного обеспечения.
Языки конференции - русский и английский.
Тематика конференции:
- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Организаторы:
- Санкт-Петербургский политехнический университет Петра Великого, кафедра компьютерных систем и программных технологий института информационных технологий и управления СпбПУ;
- Федеральный исследовательский центр «Информатика и управление» Российской академии наук;
- Компания Exactpro Systems, входящая в группу Лондонская фондовая биржа
Для участия в мероприятии требуется предварительная регистрация
Подробную информацию Вы сможете найти на официальном сайте конференции tmpaconf.org, а также на следующих страницах в социальных сетях:
- Facebook: facebook.com/groups/tmpaconf
- ВКонтакте: vk.com/clubqa
- Twitter: @exactpro
- Instagram: instagram.com/exactprosystems/
Контактная информация оргкомитета:
- Телефон: +7 495 640 24 60
- Электронная почта: program@tmpaconf.org
Партнёры:
- Лондонская фондовая биржа (lseg.com)
- Компания GATElab (gatelab.com)
Комментарии:
Причины роста популярности Астрономии и Космоса среди молодого поколения
Астрономия и космос всегда привлекали внимание людей всех возрастов, но особенно ярко эта наука проявляется среди молодого поколения.
e-Learning в цифрах: 6 общих фактов, много данных и прогнозы на ближайшее будущее
e-Learning – это обучение с помощью цифровых технологий (Интернета, электронных устройств и специальных программ). Процесс можно организовать в аудиториях или удалённо, одновременно для целой группы или по гибкому графику для каждого.
Энергорезонатор Neutrino Power Cube - электроэнергия под воздействием невидимого спектра излучений
Следующим этапом на пути к отказу от ископаемого топлива станут, вероятнее всего, энергетические технологии, связанные с возможностью преобразования энергии полей материи Луи де Бройля, обладающих корпускулярно-волновыми свойствами, в электрический ток.
Возобновляются работы по возведению грандиозного километрового небоскреба
Для архитектуры Саудовской Аравии 2023 год оказался просто невероятным. Сначала страна подтвердила, что строительство 170-километрового (105 миль) здания The Line будет продолжено, затем раскрыла планы строительства кубовидной башни, способной вместить 20 зданий Empire State Buildings.
e-Learning в цифрах: 6 общих фактов, много данных и прогнозы на ближайшее будущее
e-Learning – это обучение с помощью цифровых технологий (Интернета, электронных устройств и специальных программ). Процесс можно организовать в аудиториях или удалённо, одновременно для целой группы или по гибкому графику для каждого.
Компьютерный чип со встроенной тканью человеческого мозга получает финансирование от военных
В прошлом году ученые из Университета Монаша создали «DishBrain» — полубиологический компьютерный чип, в электродах которого в лаборатории выращено около 800 000 клеток мозга человека и мыши. Демонстрируя что-то вроде разума, он научился играть в пинг-понг за 5 минут.
Появилась безумно спортивная собака-робот с возможностью общения на основе GPT
Китайская компания Unitree открыла предварительные заказы на робота-собаку второго поколения. Go2 может следовать за вами трусцой, выполнять разные гимнастические трюки и даже разговаривать с вами через систему с поддержкой GPT, которая пишет код на лету.
Революционная система искусственного интеллекта читает мысли и создает текст без имплантов
Исследователи из Техасского университета в Остине создали систему ИИ для чтения мыслей, которая может считывать изображения активности мозга человека и преобразовывать их в непрерывный поток текста. Система семантического декодера может помочь людям, находящимся в сознании, но не способным говорить, например, перенесшим инсульт.
