• 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

Сентябрь 2019 в ИСП РАН

Сентябрь 2019 в ИСП РАН: подписали договоры с МИФИ и НовГУ, провели конференцию, осмотрели Великий Новгород.

Главным событием сентября стала вторая международная конференция «Иванниковские чтения», которая прошла 13-14 сентября в Великом Новгороде при поддержке ассоциации IEEE и собрала более 200 гостей и участников. Выбор места проведения конференции был обусловлен 10-летием новгородской лаборатории системного программирования, основанной ИСП РАН и НовГУ. https://www.ispras.ru/news/isp_ran_provedyet_konferentsiyu_v_velikom_novgorode/

 

Некоторые темы докладов: использование больших данных в медицине (Яэль Янив, Израильский технологический институт «Технион»), анализ доменов знаний (Динес Бьёрнер, Датский технический университет), распознавание текста на изображениях из социальных медиа, генерация меток для иерархических кластеров коллекций научных статей и др. https://www.ivannikov-ws.org/#Agenda

 

На конференции ИСП РАН также заключил новый договор с НовГУ, предусматривающий качественное расширение 10-летнего сотрудничества. В частности, оно будет связано с уже действующей магистерской программой «Информационные технологии больших данных».  Кроме того, были назначены годовые стипендии студентам НовГУ. https://www.ispras.ru/news/ivannikov-conf-2019-veliky-novgorod/

 

Официальной частью дело не ограничилось. Решено было расширить научную программу культурной, тем более что совместные поездки проводятся в ИСП РАН уже не первый год, собирая вместе сотрудников и студентов из всех научных отделов. На этот раз компания оказалась очень многочисленной и активной. Хватило сил и на Новгородский кремль, и на дом-музей Достоевского, и на многое другое! https://www.facebook.com/IvannikovISPRAS/posts/2542088292691520

 

Еще одним важным событием месяца стал визит директора ИСП РАН А.И. Аветисяна в Сербию – в частности, в Белградский университет. Поездка началась 28 сентября и продлится до 2 октября включительно; в последний день визита А.И. Аветисян выступит с пленарным докладом на конференции по искусственному интеллекту IC-AIAI-2019. https://www.ispras.ru/news/a_i_avetisyan_vystupit_na_konferentsii/

 

Расширяется и сотрудничество с российскими вузами. В сентябре было подписано соглашение с Национальным исследовательским ядерным университетом «МИФИ». Ранее ИСП РАН и МИФИ уже проводили совместные проекты, но теперь их станет больше. В частности, в октябре совместно с МИФИ будет организована конференция по робототехнике.
https://www.ispras.ru/news/isp_ran_rasshiryaet_sotrudnichestvo_s_mifi/

 

И ещё немного о планах на ближайший месяц: в начале октября ИСП РАН примет участие в финале XII Международной олимпиады «IT-Планета 2018/19». Сотрудники института проведут конкурс «Лучший свободный диплом» и расскажут про интересные возможности карьерного роста для студентов. https://www.ispras.ru/news/isp_ran_olimpiada_it_planeta/ 

 

--------------------------------

Напоминаем: 5-6 декабря 2019 года в Москве пройдёт ежегодная Открытая конференция ИСП РАН – масштабное событие в области системного. Все подробности – на официальном сайте www.isprasopen.ru.