Архив новостей — 2025 г.
«Хрустальный компас» — премия в области географии, экологии, сохранения и популяризации природного и историко-культурного наследия. Проводится под эгидой Русского географического общества. Присуждается ежегодно на конкурсной основе. В 2025 году Премия будет вручена за проекты и достижения, реализованные в 2024 году.
Прием заявок на соискание Премии – до 10 февраля 2025 года.
Подробнее см. на сайте премии и во вложениях.
Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова приглашает Вас принять участие в однодневной научно-практической конференции, посвящённой 100-летию со дня рождения создателя троичных ЭВМ Николая Петровича Брусенцова, которая состоится 7 февраля 2025 года по адресу: Москва, Ленинские горы, МГУ им. М.В. Ломоносова, 2-й учебный корпус, факультет ВМК, аудитория П-8а.
Основные темы конференции:
- история создания и использования троичных машин, сохранение наследия;
- математические исследования, связанные с троичным представлением чисел и логических отношений;
- перспективы использования троичной вычислительной техники и алгоритмов.
Все необходимые для участия в конференции материалы размещены на интернет-странице.
Департамент государственной политики в сфере научнотехнологического развития Министерства науки и высшего образования Российской Федерации информирует о начале приема заявок на участие в конкурсе фотографии представителей научнообразовательного сообщества «Ученые и инженеры – создатели нового миропорядка», который проводится автономной некоммерческой организацией «Национальные приоритеты» в рамках мероприятий Десятилетия науки и технологий, объявленного Указом Президента Российской Федерации от 25 апреля 2022 года № 231.
Конкурс приурочен к празднованию Дня российской науки и направлен на популяризацию научного знания и мотивацию к использованию современных, высокотехнологичных средств и методов для воплощения творческих идей среди ученых, а также формирование коллективного образа современного ученого и инженера.
Информацию о номинациях, правилах и сроках его проведения см. во вложении и на официальном сайте конкурса.
14 января в 11:00 в каб. 239 состоится первое заседание Методологического семинара ИСИ СО РАН в 2025 г.
Докладчик: Дмитрий Александрович Кондратьев, к.ф.-м.н., научный сотрудник Лаборатории теоретического программирования ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Соревнование по формальной верификации программ VeHa-2024: два года большого пути»
В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 в 2024 году. В данном докладе будут рассмотрены развитие и перспективы серии соревнований VeHa.
Ссылка на трансляцию: https://meet.google.com/jxq-vbxv-mvd