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

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

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Препринт
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.