Календарь мероприятий
июль 2025
Пн |
Вт |
Ср |
Чт |
Пт |
Сб |
Вс |
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | | | |
показать все 
Новости партнеров
Операционная система РЕД ОС включена в состав программно-аппаратных комплексов для авиационной отрасли
Читать далее 
Треть российских компаний отдают техподдержку сетей на аутсорс из-за высокой стоимости содержания собственного штата
Читать далее 
Новая линейка ПАК Solar NGFW: защита уровня enterprise для корпораций и МСБ в самых атакуемых отраслях
Читать далее 
ISBC и «Мострансавто»: как RFID-технологии меняют будущее общественного транспорта
Читать далее 
Только треть компаний автоматизировали развитие сотрудников — остальные ограничились наймом и документооборотом
Читать далее 
показать все 
Статьи
Нет никакого развития современных технологий!
Читать далее 
Людмила Сальникова: «Сегодня руководитель, который хочет быть успешным, иметь свой мощный репутационный капитал, просто обязан быть публичным. В цифровом мире неизвестность равносильна пустому месту»
Читать далее 
Сергей Мисюра: «В техподдержке – 95% инцидентов уникальны по содержанию»
Читать далее 
Я – Ваш ИИ-помощник
Читать далее 
Новые технологии: зачем нам столько?
Читать далее 
Как искусственный интеллект изменит экономику
Читать далее 
Эпоха российской ориентации на Запад в сфере программного обеспечения завершилась
Читать далее 
Сладкая жизнь
Читать далее 
12 бизнес-концепций, которыми должны овладеть ИТ-руководители
Читать далее 
Проще, чем кажется. Эталонная модель документооборота или краткое руководство по цифровой трансформации
Читать далее 
показать все 
|
В Москве состоится 11-я Международная Ершовская конференция по информатике PSI–2017
Главная / Новости партнеров / В Москве состоится 11-я Международная Ершовская конференция по информатике PSI–2017
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
27 июня в здании Президиума Российской академии наук пройдет одна из ведущих международных конференций, посвященных исследованиям в таких областях информатики, как фундаментальная теория программирования, методология и технологии программирования
Исторически сложилось, что отечественные программисты сильны своими практическими результатами, однако в области компьютерных наук их достижения известны намного меньше. 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
. В начало⇑
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
Комментарии отсутствуют
Комментарии могут отставлять только зарегистрированные пользователи
|
Вакансии на сайте Jooble

|