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

Поиск по сайту

bit.samag.ru

Web

Рассылка Subscribe.ru

подписаться письмом

Вход в систему


Запомнить меня
Регистрация Забыли пароль?

О журнале

Ваше мнение

Статьи

Общие тенденции и тренды

Архив

Мероприятия

Календарь мероприятий

ноябрь

2025

показать все

Новости партнеров

31.10.2025

Почти 70% компаний не используют системы защиты от утечек данных

30.10.2025

Айсорс запустил Центр промышленной автоматизации

30.10.2025

Каждая вторая компания в мире внедряет системы управления процессами — рынок вырос вдвое за год

30.10.2025

State of DevOps Russia 2025: рост зрелости команд, интеграция AI и приоритет безопасности

30.10.2025

70% компаний не соответствуют требованиям закона о защите персональных данных

показать все

Статьи

31.10.2025

Поддержка 1С - "черная дыра" IT- бюджета: как превратить хаос в управляемый процесс и оптимизировать затраты

18.10.2025

Как посчитать реальную выгоду от ИИ в видеонаблюдении?

18.10.2025

Управление расходами: режем косты с помощью ИИ

17.10.2025

Безопасность как сервис (SECaaS)

16.10.2025

До 97% выросло количество людей, которые реагируют на утечку своих персональных данных

29.07.2025

Точность до метра и сантиметра: как применяют технологии позиционирования

18.04.2024

Как искусственный интеллект изменит экономику

22.09.2023

Эпоха российской ориентации на Запад в сфере программного обеспечения завершилась

22.09.2023

12 бизнес-концепций, которыми должны овладеть ИТ-руководители

показать все

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

Главная / Новости партнеров / В Москве состоится 11-я Международная Ершовская конференция по информатике PSI–2017

26-29 июня в здании Президиума Российской академии наук пройдет одна из ведущих международных конференций, посвященных исследованиям в таких областях информатики, как фундаментальная теория программирования, методология и технологии программирования

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

Авторитетная научно-практическая конференция PSI–2017 с 1991 года собирает ученых, разработчиков программного обеспечения, сотрудников ведущих зарубежных и российских ИТ-компаний. Конференция носит имя академика Андрея Петровича Ершова, одного из пионеров теоретического и системного программирования, первого академика-программиста в СССР, и имеет признанный статус в России и за рубежом.

В наблюдательный совет и в программный комитет PSI–2017 входит значительное число известных зарубежных ученых. В рецензировании статей приняло участие более 50 ученых из 20 стран мира. Строгость отбора статей и тем выступлений чрезвычайно высока: процент принятых докладов составил менее 50%.

Труды конференции публикуются в европейском издательстве Springer в серии Lecture Notes in Computer Science. Издательство подтвердило готовность издавать труды PSI–2017 и обратило внимание на существенное место, которое в этом году занимают статьи российских ученых.

Помимо проблем надежности и безопасности программ участники конференции будут обсуждать теоретические основы разработки и анализа программ и систем, методологии и технологии программирования, вопросы электронной коммерции, баз данных и конструирования знаний и пр. В рамках конференции пройдут семинары «Семантика, спецификация и верификация программ» и «Наукоемкое программное обеспечение».

С докладами выступят ученые, разработчики со всего мира. Будет освещен широчайший спектр тем, затрагивающих самые разные сферы применения современного программного обеспечения. Среди участников:

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

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

Конференция проводится при поддержке Российской академии наук (РАН) и Федерального агентства научных организаций (ФАНО России).

Регистрация на сайте конференции: http://psi.ispras.ru

За дополнительной информацией просьба обращаться:

Новомлинская Анна, руководитель пресс-службы ИСП РАН, +7 (967) 193-13-95, an@ispras.ru

В начало⇑

Комментарии отсутствуют

Комментарии могут отставлять только зарегистрированные пользователи