Одна из наиболее авторитетных международных ИТ-конференций, 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 года. Это одна из ведущих конференций в мире, посвященных исследованиям в таких областях информатики, как фундаментальная теория программирования, методология и технологии программирования. Подробности на сайте конференции.

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

  • 31/07/2017

    Споры полезны для программистов

    Ершовская конференция по информатике PSI-2017 собрала под крышей Главного здания Российской академии наук программистов и математиков со всего мира. Представители фундаментальной и прикладной науки, теоретики и практики обсудили настоящее и будущее программирования, особенное внимание уделив вопросам безопасности.
    244
  • 16/11/2016

    Международная конференция по вычислительной и прикладной математике (ВПМ’17) в рамках «Марчуковских научных чтений»

    ​​Институт вычислительной математики и математической геофизики СО РАН с 25 по 30 июня 2017 г. проводит в рамках «Марчуковских научных чтений» Международную конференцию по вычислительной и прикладной математике (ВПМ'17).
    1529
  • 19/04/2016

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

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

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

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

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

    В результате анализа данных информационного портала ГПНТБ СО РАН «Новости сибирской науки» за апрель 2017 г. выявлены самые рейтинговые сообщения по различным категориям.  В разделе «Новости РАН» самый высокий рейтинг у сообщений: 20 апреля - Из списка РИНЦ исключены более 300 «мусорных» журналов.
    847
  • 04/11/2016

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

    В результате анализа данных информационного портала ГПНТБ СО РАН за октябрь выявлены самые рейтинговые сообщения по различным категориям.  В разделе «Новости РАН» самый высокий рейтинг у сообщений: 29 октября - Кто стал академиком РАН по итогам выборов 2016 года.
    1964
  • 20/11/2016

    Владимир Фортов надеется на участие профессоров РАН в новом этапе реформы академии

    ​Президент Российской академии наук Владимир Фортов надеется, что профессора РАН будут участвовать в новом этапе реформирования академии и станут источниками свежих идей и подходов. Об этом он сообщил в пятницу на симпозиуме профессоров РАН.
    966
  • 05/07/2017

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

    ​В результате анализа данных информационного портала ГПНТБ СО РАН «Новости сибирской науки» за июнь 2017 г. выявлены самые рейтинговые сообщения по различным категориям.  В разделе «Новости РАН» самый высокий рейтинг у сообщений: 9 июня - РАН сверяет возможности встроиться в новый технологический уклад.
    697
  • 17/06/2017

    Международная Ершовская конференция по информатике PSI-2017

    ​С 26 по 29 июня 2017 года в Москве состоится Международная Ершовская конференция по информатике PSI–2017​, посвященная рассмотрению и глубокому обсуждению передовых научно-исследовательских направлений и прикладных аспектов современной информатики.
    1389
  • 30/10/2016

    XVII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям

    30 октября - 3 ноября 2016 года в Новосибирске на базе ИВТ СО РАН состоится XVII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям. Конференция организуется с целью обсуждения актуальных результатов исследований молодых научных сотрудников, аспирантов и студентов старших курсов в области вычислительной и прикладной математики и информатики.
    1481