Открытая конференция ИСП РАН пройдет в Москве в конце недели
Четвёртая Открытая конференция ИСП РАН им. В. П. Иванникова пройдет в Москве в Главном здании Российской академии наук 5-6 декабря 2019 года.
Цель мероприятия – поддержка и развитие экосистемы инноваций, созданной в Институте для разработки актуальных информационных технологий. Участники и гости смогут обменяться результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения.
В первый день конференции, 5 декабря, ведущие зарубежные и отечественные ученые и специалисты отрасли откроют работу тематических треков пленарными докладами.
Трек «Управление данными и информационные системы»:
- 13:30, Assaf Schuster (научный отдел Technion, Израильский технологический институт, Израиль).
- 14:00, Каран Бхатия (глава отдела глобальной политики и правительственных отношений, Google, Нью-Йорк, США), Леонид Кулигин (специалист по машинному обучению, Google Cloud), «Ускорение научного прогресса с помощью облачных инфраструктур». Облачная обработка данных и предоставление облачной инфраструктуры в виде сервисов повсеместно используются в промышленных вычислениях. Научные же задачи в этом отстают, хоть и ненамного. В докладе будут описаны некоторые из новых технологий и инструментов, разработанных для ускорения научных исследований, от аппаратных ускорителей TPU и GPU до программных систем Jupyter и Tensorflow; показан ряд реальных примеров использования, от генетики до моделирования океанов.
- 14:30 Петр Плешачков (ведущий инженер-программист, распределенные системы, Hazlecast), «Hazelcast: распределенные структуры данных для масштабирования ваших приложений».
Трек «Решение задач механики сплошных сред с использованием СПО»:
- 13:30, И.Б. Петров, член-корреспондент РАН, д.ф.м.н, заведующий кафедрой информатики МФТИ, Н.И. Хохлов к.ф.-м.н., с.н.с, заместитель заведующего лабораторией прикладной вычислительной геофизики МФТИ, «Применение сеточно-характеристического метода для решения задач распространения динамических волновых возмущений на высокопроизводительных вычислительных системах».
- 14:00, Томас Боднар (профессор в Чешском техническом университете в Праге (машиностроительный факультет, кафедра технической математики), Институт термомеханики Чешской академии наук), «Граничные условия дальнего поля для устойчиво стратифицированных течений».
- 14:30, Филипп Франье (профессор Университета Тулона (Франция) и научный руководитель Среднеземноморского института океанографии), «Идентификация параметров турбулентности в моделях поверхности океана».
Трек «Технологии анализа, моделирования и трансформации программ»:
- 13:30, Николай Бьорнер (главный научный сотрудник Microsoft Research, Редмонд, США), «От путеводных звезд к озарениям ума: как задачи большого размаха ведут за собой технологии автоматизированных доказательств». «Современные инструменты проведения доказательств (пруверы) уже 10 лет демонстрируют невероятные возможности, снискавшие для них бесчисленные практические применения. Построение прувера требует проведения бесчисленных экспериментов, аккуратно спланированных, поддержанных нетривиальными наблюдениями и глубоким пониманием теории доказательства и логических формализмов. В докладе описан результат, за последние годы многократно применённый в ядре решателя Z3 в разных обличьях: поиск и насыщение на основе моделей. Z3 – известный промышленный решатель и прувер, разрабатываемый в Microsoft Research. Вдохновение не рождается на пустом месте».
- 14:30, Юил Ким (Samsung Research), «Проблемы внедрения жизненного цикла разработки безопасного ПО» (опыт компании Samsung).
6 декабря пройдет специальный семинар «Особенности и перспективные разработки сбора, обработки данных и анализа метаданных на Большом адронном коллайдере». С докладами выступят:
- 10:00, Алексей Климентов (Брукхэвенская национальная лаборатория, Аптон, США) и Сергей Кулешов (профессор,Национальный университет имени Андреса Бельо, Сантьяго, Чили). «Системы управления и обработки данных в экзабайтном диапазоне для экспериментов на Большом адронном коллайдере».
- 10:20, Татьяна Корчуганова (UNAB, ИСП РАН), «Система мониторинга распределенной обработки и анализа данных в гетерогенной компьютерной среде для приложений физики высоких энергий».
- 10:50, Александр Алексеев (UNAB, ИСП РАН), «Аналитическая платформа для организации распределенной обработки и анализа данных эксперимента АТЛАС на БАК в гетерогенной компьютерной среде».
С полной программой мероприятий Конференции можно ознакомиться здесь.