• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Глава в книге
City and building information modelling using IFC standard

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.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

ISPRAS Open 2017

Мероприятие завершено
Вторая научно-практическая Открытая конференция ИСП РАН имени Виктора Иванникова ISPRAS Open пройдет с 30 ноября по 1 Декабря 2017 г. в главном здании Российской академии наук. Ключевые темы – безопасность программного кода и технологии анализа массивов данных. В этом году конференция вошла в список научных мероприятий, поддерживаемых ведущим мировым техническим профессиональным сообществом по развитию технологий IEEE.

ISP RAS Open посвящена основным направлениям деятельности Института системного программирования РАН. Первое из них связано с анализом программ в контексте безопасности, эффективности и продуктивности. В фокусе внимания будут вопросы обеспечения безопасности, в том числе – анализ кода на этапе разработки и технологии предотвращения использования уязвимостей при эксплуатации. Второе направление, которое будет обсуждаться на конференции, – технологии анализа больших массивов данных, необходимые для решения прикладных задач. Речь пойдет об уже внедренных технологиях и перспективных разработках, а также о фундаментальных исследованиях, позволяющих развивать программирование как науку.

Участие в работе конференции примут ученые, разработчики, специалисты в области системного программирования, представители отечественных и зарубежных компаний – заказчиков и производителей программного обеспечения.

На конференцию традиционно приглашаются партнеры, которые используют практические разработки ИСП РАН уже много лет: Samsung, Rogue Wave, Synchro, Huawei, DELL, Intel, Hewlett Packard, Вымпелком, Свемел и др. 

В рамках конференции пройдет семинар российского сообщества открытого пакета OpenFoam в области решения задач механики сплошных сред. Это сообщество создано и развивается ИСП РАН. Сегодня среди пользователей пакетов OpenFoam в России около 150-и компаний, организаций и предприятий – представители автомобильной, аэрокосмической и авиационной промышленности, судостроительной отрасли, ядерной энергетики и высших учебных заведений.

К участию в ISP RAS Open приглашаются все желающие ИТ-специалисты. Прием заявок от участников, намеревающихся выступить на конференции в качестве докладчика, открыт на сайте конференции до 29 сентября 2017 г. Сборник трудов конференции будет издан IEEE и проиндексирован в международных базах научного цитирования Web of Science и Scopus.

Организаторы. ISPRAS Open 2017 организована ИСП РАН в партнерстве с ассоциацией «Тайзен.Ру», компаниями Samsung, Huawei, HewlettPackardEnterprise, DELL, NVIDIA.

Конференция проводится при поддержке IEEE / IEEE Computer Society, Российской академии наук, Федерального агентства научных организаций (ФАНО России), Федеральной службы по техническому и экспортному контролю (ФСТЭК России).

Время проведения. 30 ноября - 1 декабря 2017 г.

Место. Главное здание Российской академии наук. Москва, Ленинский проспект, д. 32А.

Более подробная информация – на сайте конференции.