Дата и время проведения: 26 — 29 июня 2017 г. (понедельник — четверг)

Место проведения:

  • Россия, Москва, Президиум Российской академии наук

Организаторы:

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


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

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

· Майкл Джерард Хинчи, директор Ирландского исследовательского центра программного обеспечения (Lero) при университете Лимерика (Ирландия) и основатель и главный редактор журнала NASA Journal Innovations in Systems and Software Engineering, поднимет тему построения отказоустойчивых космических систем.

· Андрей Сабельфельд, профессор факультета компьютерных наук и инженерии Технического университета Чалмерса и Гётеборгского университета (Швеция), затронет проблему поиска уязвимостей без прямого отслеживания полученных извне данных.

· Шрирам Раджамэни, управляющий директор Microsoft Research India, посвятит свое выступление тому, как сделать облачные технологии более безопасными.

Версия для печати