Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Адрес: 109028, г. Москва, Покровский бульвар, д. 11
Телефон: +7(495) 772-95-90*27297
Кафедра создана в 2015 году в структуре департамента программной инженерии на базе Института cистемного программирования им. В.П. Иванникова РАН (ИСП РАН).
Системное программирование – это основа программной инженерии (науки о производстве программ). Специализация кафедры охватывает ряд важнейших направлений: операционные системы, компиляторные технологии, технологии и инструменты разработки программ, системная интеграция и прикладные программные комплексы и др.
Под науч. редакцией: Vitaly Semenov, R. J. Scherer.
CRC Press, 2021.
Bresolin D., El-Fakih K., Villa T. et al.
Formal Methods in System Design. 2022.
Shutkin V., Morozkin N., Zolotov V. et al.
In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.
Burdonov I., Kossachev A., Nina Yevtushenko et al.
arxiv.org. Computer Science. Cornell University, 2020
Приглашаем принять участие в ежегодной Открытой конференции ИСП РАН им. В.П. Иванникова!
Она состоится 4-5 декабря 2023 года в Главном здании РАН в Москве и будет посвящена 75-летию отечественных информационных технологий. Конференция традиционно проводится при поддержке IEEE и IEEE Computer Society. Избранные статьи будут опубликованы в электронной библиотеке IEEE Xplore Digital Library. Русскоязычные статьи или переводы могут быть опубликованы в журналах "Труды ИСП РАН" и "Программирование", которые входят в Перечень ВАК.
✔️Для участия в конференции необходимо зарегистрироваться.
‼️Статьи и тезисы подаются через интернет-систему EasyChair. Всё о правилах оформления материалов — здесь.
⏳Важные даты (обратите внимание, что сроки переноситься не будут):
- Срок подачи статей: до 23:59 1 ноября 2023 г.
- Уведомление о включении в программу: до 14 ноября 2023 г.
- Регистрация участников: до 27 ноября 2023 г.
- Готовые к публикации статьи: до 14 декабря 2023 г.
В рамках конференции предусмотрены пять секций научных докладов:
- Технологии анализа, моделирования и трансформации программ
- Управление данными и информационные системы
- Решение задач механики сплошных сред с использованием СПО
- САПР микроэлектронной аппаратуры
- Лингвистические системы анализа
Кроме того, запланирован ряд других мероприятий, в том числе круглых столов по цифровой медицине и кибербезопасности.
По всем вопросам просьба обращаться по e-mail: scsec@ispras.ru.