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