Цель Школы – привлечение наиболее одаренных студентов, аспирантов и молодых ученых к научной работе в области программной инженерии, верификации и анализа программ. Студенты школы ознакомятся как с классическими, так и самыми современными результатами исследований. Курсы будут вести признанные международные специалисты в своей области (в их числе – Сэр Тони Хоар, автор языка Z-спецификаций и логики Хоара, лауреат премии Тьюринга).
Рабочий язык Школы – английский.
Темы курсов:
Для участия в Летней Школе необходимо:
Документы необходимо сжать в архив .zip и загрузить в систему EasyChair до 1 мая 2011 года.
Контактный адрес e-mail: SSSEV_2011@hotmail.com
Ежегодная конференция по интегрированному планированию
Встроенные операционные системы, реальное время
2-я международная выставка Electronica Expo Kazakhstan: снова объединяет индустрию электроники в 2026 году!
Для тех, кто строит бизнес, способный расти и оставаться устойчивым в сложных условиях — конференция о построении сквозной системы управления процессами
Конференция посвящена практическому применению региональных информационных систем в здравоохранении и цифровым решениям
Выставка технологий и IT-решений для модернизации производства и логистики
Практическая конференция по искусственному интеллекту
На Data Day 2026 обсудят, как AI и данные становятся ядром управления бизнесом
Гибкость рынка и мощь воентеха на МТК-2026