Новости
Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова приглашает Вас принять участие в однодневной научно-практической конференции, посвящённой 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
Новогодняя атмосфера царит в нашем Институте, благодаря коллегам и конкурсу на лучшее новогоднее украшение дверей и окон кабинетов "Новогоднее настроение".
Сотрудники Института постарались и проявили себя в творчестве, украсив свои кабинеты, коридоры и холл.
Дети и внуки сотрудников не отстают от своих родителей, и поучаствовали в творческом конкурсе на новогоднюю и рождественскую тематику «Новый год-2025». Поделками можно полюбоваться на стенде в холле и в фотоальбоме.
Завершились новогодние мероприятия вручением подарков детям Профсоюза и Новогодней Ёлкой со Снегурочкой и Дедом Морозом, на которую все ребята были приглашены Профсоюзом ИВМиМГ СО РАН. Альбом с праздничными фотографиями по ссылке.
Профсоюз ИСИ СО РАН поздравляет коллег с наступающим Новым годом и желает всех благ, радости и достижений.