Летняя Школа по Программной Инженерии и Верификации
Цель Школы – привлечение наиболее одаренных студентов, аспирантов и молодых ученых к научной работе в области программной инженерии, верификации и анализа программ. Студенты школы ознакомятся как с классическими, так и самыми современными результатами исследований. Курсы будут вести признанные международные специалисты в своей области (в их числе – Сэр Тони Хоар, автор языка Z-спецификаций и логики Хоара, лауреат премии Тьюринга).
Рабочий язык Школы – английский.
Темы курсов:
- основы верификации программ
- автоматическое построение доказательств и опровержений
- проверка моделей ПО, процедуры принятия решений и автоматическая генерация контрольных примеров
- статический анализ и обнаружение ошибок программирования
- верификация в многопоточных программах на С и операционных системах
- области прикладного использования анализа программ
Для участия в Летней Школе необходимо:
- Зарегистрироваться на мероприятие в системе EasyChair до 15 апреля 2011 года. (Внимание! Поля title и abstract при регистрации заполняются как “empty”). Ранняя регистрация может предоставить преимущество при отборе кандидатов на участие в Школе.
- Предоставить документы на участие по полной форме. В их числе:
- Заполненная форма заявки (.docx, бланк);
- Резюме, включающее информацию как об учебном, так и об исследовательском опыте (.pdf);
- Одна из недавних научных публикаций или работ / дипломный проект. Приветствуется тематика, связанная с направлением Школы. (.pdf)
- Необязательно, но крайне желательно предоставить также отсканированную и подписанную рекомендацию научного руководителя или знакомого с работой профессора (.pdf).
Документы необходимо сжать в архив .zip и загрузить в систему EasyChair до 1 мая 2011 года.
Контактный адрес e-mail: SSSEV_2011@hotmail.com
Ближайшие события
Ближайшие события
Дата проведения: 12 марта 2026
Ключевые технологии, архитектура и управление 1С-проектами
Дата проведения: 20 марта 2026
Выбираем лучшие финтех-проекты: прием заявок на Премию FINNEXT продолжается
Дата проведения: 26 марта 2026
Главное событие года для тех, кто делает бизнес и госуправление эффективными и устойчивыми, применяя данные, аналитику и искусственный интеллект.
Дата проведения: 26 марта 2026
Покажем прототип решения, которое автоматизирует ключевые процессы управления данными.
Дата проведения: 27 марта 2026
На одной площадке соберутся разработчики и поставщики комплексных ИТ-решений
Дата проведения: 7 апреля 2026
Обсудят актуальные вопросы развития интернета и управления интернетом
Дата проведения: 7 апреля 2026
Для тех, кто работает с данными на практике и отвечает за развитие современных дата-платформ.
Дата проведения: 7 апреля 2026
Конференция, посвященная ведущим методам управления ИТ-сервисами и ИТ-процессами, инструментам их автоматизации и внедрению в организациях.
Дата проведения: 7 апреля 2026
FINNEXT 2026: как ИИ и глобальная смена платежных маршрутов повлияют на стратегию в банкинге?
Дата проведения: 9 апреля 2026
Ключевое мероприятие года в сфере автоматизации интеграции приложений и управления данными
Дата проведения: 14 апреля 2026
Специализированный практический форум по тематике ГосСОПКА
Дата проведения: 14 мая 2026
Главная цель премии — популяризация наиболее значимых российских достижений в области работы с данными.
Дата проведения: 28 мая 2026
Стартовал прием докладов. Темы докладов принимаются до 20 марта.
Дата проведения: 16 июня 2026
2-я международная выставка Electronica Expo Kazakhstan: снова объединяет индустрию электроники в 2026 году!
Июль 2011
