курс цб на 18.01:
56.5925
69.173
курс криптовалют:
11191 $
1020 $

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

16 июня 2017 09:52 Количество просмотров432 просмотра

В здании Президиума Российской академии наук 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, посвятит свое выступление тому, как сделать облачные технологии более безопасными.

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

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

По материалам




В рубриках:
Мероприятия

Похожие посты

Форум экспертов
50-рублевые банкноты – слухи об их смерти явно преувеличены
На платежном рынке России одним из главных событий уходящего года стал ввод в обращение новых купюр номиналом 200 и 2000 рублей. В декабре 2017 г. ряд СМИ активно обсуждал информацию о выводе из оборота 50-рублевых купюр через пять лет в связи с политикой ЦБ по сокращению наличного денежного оборота в стране. Эксперт-консультант, партнер компании Currency Research (США), член Международной ассоциации IACA Виктор Ионов считает подобные тезисы и столь долгосрочный прогноз довольно наивными. Об этом он рассказал порталу PLUSworld.ru.
29 декабря 2017 13:04
eIDAS – новый гарант доверия к электронным транзакциям в Евросоюзе?
О сути грядущих законодательных изменений на рынках стран Евросоюза рассказывает Павел Есаков, эксперт по системам аутентификации компании CompuTel System Management. 
25 декабря 2017 14:15
Робоэдвайзерам есть чему поучиться у автомобильной промышленности
«Количество роботов превысит количество людей на планете Земля к 2035 году», – таким прогнозом поделились с индустрией эксперты на форуме инновационных финансовых технологий «Финополис-2017» в Сочи. В современном мире машины становятся неотъемлемой частью нашей жизни, и все большее значение они приобретают и в сфере финансовых услуг. Так, робоэдвайзеры (роботы-консультанты) играют важную роль в управлении активами, помогая инвесторам осваивать цифровую торговлю за счет использования автоматизированных решений. Однако насколько успешными в реальной жизни окажутся гибридные решения, пока не ясно. Финтех-индустрии стоит обратить внимание на уроки из опыта автомобильной промышленности, чтобы избежать ошибок, которые могут замедлить технологический прогресс, считает Игорь Домброван, директор отдела институциональных продаж, Saxo Bank. 
22 декабря 2017 14:25
Лента новостей
Мероприятия
Криптовалюты Биткоин резко упал в цене 
11 января 2018 13:59
Количество просмотров 410 просмотров
Платежный бизнес Thales объявил о покупке Gemalto
29 декабря 2017 13:48
Количество просмотров 1581 просмотр
Технологии Visa: инновации меняют мышление
28 декабря 2017 15:06
Количество просмотров 397 просмотров