Официально


На сайте ФАНО опубликован приказ «Об утверждении плана-графика перехода в 2017-2018 годах и на плановый период до 2020 года Федерального агентства научных организаций на использование отечественного программного обеспечения». С документом можно ознакомиться, пройдя по ссылке.



Комитет Госдумы по образованию и науке рассмотрел и утвердил заключение на проект Федерального закона «О внесении изменений в Налоговый кодекс РФ» (в части приведения терминологии Налогового кодекса Российской Федерации в соответствие с законом «Об образовании в РФ»), инициированный правительством в августе этого года.



На сайте Федерального агентства научных организаций опубликован августовский приказ об утверждении Положения о кадровом резерве ФАНО. С текстом документа можно ознакомиться по ссылке.

На базе Всероссийского НИИ мясной промышленности им. В.М.Горбатова создан Федеральный научный центр. Для этого к научно-исследовательскому институту присоединено восемь научных организаций.




Новости № 38(2017)

Регионы


СНГ


Интердайджест




















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

26.06.17 - 29.06.17

В Москве состоится 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

 


 

Отзывы

Чтобы оставить отзыв необходимо авторизоваться или зарегистрироваться



 

Конференции на тему

Пригласительный билет: Октябрь 2017
Перечень научных конференций, симпозиумов, съездов, семинаров и школ, проводимых подведомственными ФАНО России организациями в 2017 году. /№ 37(2017)
Пригласительный билет: Октябрь 2017
Перечень научных конференций, симпозиумов, съездов, семинаров и школ, проводимых подведомственными ФАНО России организациями в 2017 году. /№ 36(2017)
Пригласительный билет: Сентябрь 2017
Перечень научных конференций, симпозиумов, съездов, семинаров и школ, проводимых подведомственными ФАНО России организациями в 2017 году. /№ 35(2017)

Новости


Члены Клуба «1 июля» обратились к участникам выборов президента РАН. Документ опубликован на сайте неформального научного сообщества.



Отделение энергетики, машиностроения, механики и процессов управления Российской академии наук выдвинуло кандидатуру бывшего президента РАН Владимира Фортова на пост академика-секретаря. Об этом сообщает ТАСС со ссылкой на самого В.Фортова.



Руководитель Федерального агентства научных организаций Михаил Котюков и губернатор Воронежской области Алексей Гордеев подписали соглашение о сотрудничестве.



В Минобрнауки прошло заседание оргкомитета Всероссийского фестиваля науки «Наука 0+». Организатором фестиваля выступает Министерство образования и науки при поддержке МГУ им. М.В.Ломоносова и Правительства Москвы, региональных органов власти.



Заместитель министра образования и науки Вениамин Каганов ушел со своего поста. Как сообщил «Коммерсанту» пресс-секретарь главы Минобрнауки Андрей Емельянов, замминистра уволился «в связи с переходом на новое место работы».

Нормативно-правовое обеспечение прикладной науки стало темой совместного заседания Комитета Лиги содействия оборонным предприятиям и Союза машиностроителей России. В мероприятии приняли участие представители органов власти, ведущих предприятий, научных и общественных организаций.

Президиум Сибирского отделения РАН обсудил кандидатуры на посты руководителей РАН и СО РАН.

Конференции


Перечень научных конференций, симпозиумов, съездов, семинаров и школ, проводимых подведомственными ФАНО России организациями в 2017 году.

Перечень научных конференций, симпозиумов, съездов, семинаров и школ, проводимых подведомственными ФАНО России организациями в 2017 году.

Перечень научных конференций, симпозиумов, съездов, семинаров и школ, проводимых подведомственными ФАНО России организациями в 2017 году.

Текущие конкурсы


Конкурс проектов 2018 года фундаментальных научных исследований, проводимый Российским фондом фундаментальных исследований совместно с организациями - участниками Рамочной программы БРИКС в сфере науки, технологий и инноваций.

Конкурс проектов 2018 года организации российских и международных научных мероприятий, проводимый федеральным государственным бюджетным учреждением “Российский фонд фундаментальных исследований”.

Обзор стипендиальных программ DAAD для учебы и научных исследований в Германии на 2018/2019 учебный год.

Совет при Президенте Российской Федерации по науке и образованию начинает прием документов на соискание Государственной премии Российской Федерации в области науки и технологий за 2017 год.

Министерство образования и науки Российской Федерации совместно с Советом по грантам Президента Российской Федерации для государственной поддержки молодых российских ученых и по государственной поддержке ведущих научных школ Российской Федерации объявляет конкурсы 2018 года на право получения грантов Президента Российской Федерации для государственной поддержки молодых российских ученых - кандидатов наук и молодых российских ученых - докторов наук. Организатором конкурсов является Минобрнауки России.

Вакансии


15.09.2017
Федеральное государственное бюджетное учреждение науки Институт океанологии им. П.П.Ширшова Российской академии наук объявляет конкурс на замещение вакантной должности...

15.09.2017
Федеральное государственное бюджетное учреждение науки Институт океанологии им. П.П.Ширшова Российской академии наук и Южное отделение ИО РАН объявляет конкурс на замещение вакантных должностей...

11.08.2017
Южный научный центр РАН (Ростов-на-Дону) приглашает на работу ихтиолога (кандидата / доктора наук), имеющего высокий индекс цитирования по РИНЦ и WoS, стабильную публикационную активность в рейтинговых отечественных и зарубежных журналах.





опрос

Какие рубрики нашей газеты Вам наиболее интересны?




Copyright 2010
Главная страница   |   О газете  |  Партнеры  |  Команда Поиска  |  Вакансии