Одна из наиболее авторитетных международных ИТ-конференций, PSI-2017, состоялась в конце июня в главном здании Российской академии наук.

Ее участниками стали представители фундаментальной и прикладной науки, приехавшие в Москву со всего мира. Организаторами 11-й международной встречи программистов выступили Институт системного программирования РАН, Институт систем информатики им. А.П. Ершова СО РАН, Новосибирский государственный университет и НИУ Высшая школа экономики.

История Ершовской конференции отсчитывается с 1991 года, но в столице России она проводится впервые. "То, что в этом году конференция проходит в Москве, позволило привлечь много молодых специалистов, - отмечает Алексей Хорошилов, ведущий научный сотрудник ИСП РАН. - Эта конференция - одно из важнейших событий в области Computer Science в России, прекрасная площадка для того, чтобы обсудить современные тенденции развития программирования. Здесь удачно совмещены прикладные разработки и фундаментальные исследования".

"Тем и знаменита конференция, что соединяет теорию и практику, - соглашается с ним Маргарита Коровина, старший научный сотрудник ИСИ СО РАН, - ведь программирование - это прикладная математика".

"Не следует отрывать фундаментальную науку от прикладной, - подчеркивает Арутюн Аветисян, директор ИСП РАН. - Они должны развиваться как части единого организма. Так, без участия математиков невозможно современное программирование, анализ социальных сетей, гомоморфное шифрование, разработки в области безопасности, анализа больших данных. Например, ИСП РАН представил результаты фундаментальных исследований в различных областях Computer Science, многие из которых уже внедрены в практику. С другой стороны, реальная польза от той или иной фундаментальной теории становится понятной через многие годы, поэтому стратегически важно выделять ресурсы на их развитие".

Значимость сотрудничества между представителями "чистой" науки и разработчиками программного обеспечения отметил и Томас Баар, профессор берлинской Высшей школы техники и экономики. "Есть три взгляда на создание и развитие софта, - рассуждает он. - Одни считают, что это - чистая математика, другие, что это - чистое искусство, третьи - чистое ремесло. На самом деле, истина где-то посредине. То, чего нельзя достичь обычными методами программирования, например, доказать корректность программы, можно сделать математически. И вместе это - искусство".

Международный статус Ершовской конференции привлекает большое число зарубежных участников. "Вся область ИТ построена на международном сотрудничестве, - говорит Магне Хаверааен, профессор Университета Бергена. - Важные идеи зарождаются в одной среде, получают развитие - в других, и могут реализовываться, невзирая на границы. Самое важное в таком сотрудничестве - непосредственное общение между учеными, объединенными общими интересами, но обладающими различными навыками". Возможность такого общения и предоставила PSI-2017.

"В большинстве своем конференции по Computer Science становятся узкоспециализированными. Есть мероприятия, посвященные базам данных, инструментам программирования, информационному поиску, менеджменту, даже социальным вопросам. А конференций по программированию в целом практически единицы, один из таких примеров - как раз PSI-2017. Кроме того, это хорошая площадка для общения и создания мостов между представителями науки и индустрии", - отмечает Александр Петренко, сопредседатель программного комитета конференции.

"Отличительная черта Ершовской конференции - атмосфера продуктивного общения, - говорит Арутюн Аветисян. - Это не просто сухие доклады, но уже сложившаяся как традиция очень интересная, продуктивная атмосфера общения. Эта атмосфера и высокий, мировой уровень докладов создают определенное волшебство, приносящее прекрасные результаты".

В этом году основными темами конференции стали анализ кода, вопросы создания инфраструктуры для работы с информацией и, разумеется, безопасность. О защищенности и надежности ПО говорили в своих выступлениях отечественные и зарубежные ученые. Тему безопасности облачных технологий затронул Шрирам Раджамэни, управляющий директор Microsoft Research India. Построению отказоустойчивых космических систем был посвящен доклад Майкла Джерарда Хинчи, директора Ирландского исследовательского центра программного обеспечения при университете Лимерика, основателя и главного редактора журнала NASA Journal Innovations in Systems and Software Engineering. О новых методах отслеживания уязвимостей ПО говорил Андрей Сабельфельд, профессор факультета компьютерных наук и инженерии Технического университета Чалмерса и Гетеборгского университета. Обнаружению уязвимостей был посвящен и доклад Андрея Белеванцева, старшего научного сотрудника ИСП РАН, который рассказал о многоуровневом статическом анализе для поиска шаблонов ошибок и дефектов в исходном коде.

Таким образом, на PSI-2017 информационная безопасность рассматривалась сквозь призму проблем системного программирования и инструментов анализа программ, позволяющих минимизировать появление уязвимостей в процессе создания ПО и затруднить их использование в ходе эксплуатации.

Конференция проводится при поддержке Российской академии наук (РАН) и Федерального агентства научных организаций (ФАНО России). Международная Ершовская конференция по информатике проходит с 1991 года. Это одна из ведущих конференций в мире, посвященных исследованиям в таких областях информатики, как фундаментальная теория программирования, методология и технологии программирования. Подробности на сайте конференции.

Похожие новости

  • 14/02/2019

    Международная конференция «Актуальные проблемы вычислительной и прикладной математики 2019» (АПВПМ-19)

    С 1 по 5 июля 2019 года в Новосибирском Академгородке в рамках "Марчуковских научных чтений" состоится Международная конференция "Актуальные проблемы вычислительной и прикладной математики - 2019.
    2594
  • 18/03/2019

    Конференция «Суперкомпьютерные технологии математического моделирования» (СКТеММ’19)

    ​Математический институт имени В.А.Стеклова РАН совместно с Северо-Восточным федеральным университетом имени М.К. Аммосова и Институтом системного программирования имени В.П. Иванникова проводят 19 – 21 июня 2019 года IV Международную конференцию «Суперкомпьютерные технологии математического моделирования» (СКТеММ'19).
    1556
  • 20/10/2015

    Интеллект глобального уровня

    ​Эти слова можно понимать двояко. С одной стороны, в мире создаются вычислительно-аналитические системы гигантской мощности, способные моделировать планетарные процессы. С другой стороны, такие достижения "стоят на плечах гигантов" - интеллектуалов мирового класса, превративших вычисления из сервиса в большую науку.
    3567
  • 11/01/2019

    Главные новости сибирской науки в декабре 2018 года

    В результате анализа данных информационного портала ГПНТБ СО РАН «Новости сибирской науки» за декабрь 2018 г. выявлены самые рейтинговые сообщения по различным категориям.  В категории «Новости Минобрнауки / ФАНО» большой интерес вызвали публикации: 19 декабря – Глава Минобрнауки назвал задачи в рамках нацпроекта «Наука».
    7721
  • 22/09/2020

    12-я Международная школа молодых учёных «Системная Биология и Биоинформатика» SBB-2020 впервые состоялась в Крыму

    ​12-я Международная школа молодых учёных «Системная Биология и Биоинформатика» / 12th International young scientists school «System Biology and Bioinformatics», SBB-2020 впервые проходила не в Новосибирске, а в Крыму.
    1375
  • 02/08/2021

    Конференция международных математических центров мирового уровня, Сочи

    ​С 9 по 13 августа в образовательном центре «Сириус» пройдет Конференция международных математических центров мирового уровня, направленная на развитие математических исследований в России, формирование и укрепление научных связей между региональными математическими центрами, центрами мирового уровня, вузами и научными организациями России.
    867
  • 25/07/2018

    Марчуковские научные чтения - 2018

    8 июня 2018 года исполнилось 93 года со дня рождения академика Гурия Ивановича Марчука. К этой дате приурочены ставшие традиционными Марчуковские научные чтения. Институт вычислительной математики и математической геофизики СО РАН при поддержке Новосибирского государственного университета, Международного математического центра НГУ, Сибирского отделения Российской академии наук, Федерального агентства научных организаций проводит Марчуковские научные чтения 8 - 12 октября 2018 в Академгородке (Новосибирск, Россия).
    2360
  • 19/04/2016

    В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

    ​19 апреля Институт систем информатики СО РАН проводит традиционную XI Ершовскую лекцию.В этом году с Ершовской лекцией выступит известный российский специалист по системному программированию д.ф.-м.н.
    3110
  • 25/05/2021

    IX заседание Германо-российского библиотечного диалога

    18 и 19 мая под эгидой Всероссийского библиотечного конгресса — 2021 и Года Германии в России прошли две сессии IX заседания Германо-российского библиотечного диалога.
    1005
  • 08/06/2021

    Международная молодежная школа и конференция по вычислительно-информационным технологиям для наук об окружающей среде: “CITES-2021”

    ​Институт вычислительной математики им. Г.И. Марчука РАН, Институт мониторинга климатических и экологических систем СО РАН, Научно-исследовательский вычислительный центр МГУ и Гидрометцентр России организуют Международное мероприятие по вычислительно-информационным технологиям для наук об окружающей среде CITES-2021, включающее в себя конференцию с элементами школы молодых ученых.
    1891