Основные индикаторы
Данные с задержкой 15 мин.
USD/RUB
+0,06
66,46
EUR/RUB
+0,03
75,77
РТС
–1,85%
1136,50
ММВБ
–1,42%
2396,84
Brent
–0,31%
60,98
Золото
+0,29%
0,00
S&P500
+0,16%
2579,37
NASDAQ
–0,17%
6716,53
FTSE 100
–0,07%
7487,96
NIKKEI
+1,86%
22420,08
Срочно
IT и медиа

26–29 июня — XI Международная Ершовская конференция по информатике 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.

Пресс-релизы просьба отправлять по адресу: rns.press-release@rambler-co.ru

Цифра дня
700
млрд кубометров
  • может превысить добыча газа в России в 2018 году
  • оценил доходы от ЧМ-2018 премьер-министр Дмитрий Медведев
  • получат российские клубы от ФИФА за участие футболистов в ЧМ-2018
  • объем выданных за 10 месяцев ипотечных кредитов
  • совокупная задолженность по ипотечным кредитам на 1 ноября
  • составили инвестиции в программу импортозамещения в 2017 году
  • поддерживают повышение возраста продажи алкоголя до 21 года
  • планируют сократить повседневные расходы
  • считают себя счастливыми
1из10
  • «Надо уметь работать с современной молодежной культурой, чтобы не превращалось в то, когда кто-то случайно не понимает или она им не нравится, заканчивается это запретами концертов. Это глупость»
    Цитата дня: Сергей Кириенко, Первый замглавы Администрации президента России
    Сергей Кириенко,  Первый замглавы Администрации президента России
  • «Интернет — это средство, нельзя видеть все проблемы только в самом интернете. Хотя заниматься им надо... И здесь нет универсального рецепта. Cледить за этой поляной необходимо»
    Цитата дня: Дмитрий Медведев, премьер-министр РФ
    Дмитрий Медведев,  премьер-министр РФ
  • «Военное положение — это камуфляж, ширма, которой режим Порошенко явно пытается скрыть намерения организовать в Донбассе очередную провокацию»
    Цитата дня: Мария Захарова, официальный представитель МИД России
    Мария Захарова,  официальный представитель МИД России
  • «Российская сторона готова к разговору, более того, считает эти контакты на высшем уровне крайне важными. Вместе с тем упрашивать американскую сторону, навязываться, мы не будем»
    Цитата дня: Юрий Ушаков, помощник президента России
    Юрий Ушаков,  помощник президента России
  • «В какой-то момент председатель (КНР. — RNS) Си и я, вместе с президентом России Путиным, начнем говорить о значительном сдерживании крупной и неконтролируемой гонки вооружений»
    Цитата дня: Дональд Трамп, президент США
    Дональд Трамп,  президент США
  • «Те кульбиты, которые мы сегодня видим в Киеве и вообще в целом, к сожалению, на Украине — это полностью дисфункция государственного устройства и государства как образования»
    Цитата дня: Мария Захарова, официальный представитель МИД России
    Мария Захарова,  официальный представитель МИД России
  • «Мы не вводим санкции ради санкций, мы вводим санкции, чтобы дать понять, что страны имеют право на собственное развитие даже в случае их территориальной близости с Россией»
    Цитата дня: Ангела Меркель, канцлер Германии
    Ангела Меркель,  канцлер Германии
  • «Небольшой инцидент в Черном море — и ввели военное положение (на Украине. — RNS). Явно в преддверии президентских выборов, это очевидный факт»
    Цитата дня: Владимир Путин, президент России
    Владимир Путин,  президент России
  • «Вся эта ситуация (в Черном море. — RNS) выгодна только одному человеку — Петру Порошенко, поскольку она дает ему право ввести военное положение. У него сейчас проблемы с выборами»
    Цитата дня: Андрей Костин, глава ВТБ
    Андрей Костин,  глава ВТБ
1из10