Новости
С 18 по 21 октября 2024 года состоится второе Российское соревнование по формальной верификации программ VeHa-2024. Данное соревнование пройдет в Иннополисе и онлайн, в основном, онлайн. Одним из главных организаторов соревнования VeHa-2024 является ИСИ СО РАН.
Подробности о соревновании VeHa-2024 приведены на сайте соревнования. Информацию также можно получить в группе в телеграме.
15 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева
Тема доклада: «Объектно-ориентированные данные как префиксные переписывающие системы»
Излагается подход к представлению и анализу объектно-ориентированных данных посредством детерминированных переписывающих систем — таких систем, в которых нет правил вида X→Y и X→Z с разными Y и Z и, кроме того, переписыванию подлежат только самые длинные префиксы слов. Посредством таких систем определяются и исследуются аналоги основных понятий, связанных с объектно-ориентированными системами данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и согласованность, концептуальные схемы, типы и подтипы и др. Это уже довольно развитая теория (включающая десятки теорем и алгоритмов), но очень молодая, нуждающаяся в развитии и предлагающая естественные открытые вопросы.
Ссылка на трансляцию: https://meet.google.com/xkv-bcyn-omp
Во вторник 15 октября в 14.30 состоится заседание N 1002 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: Ф.Н. Жарков
Тема: Разработка программного обеспечения МООК «Тренажер по углубленному изучению языка SQL»: серверная часть
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 10 октября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Рамазанова Валия Сапкиреевна (Евразийский национальный университет им. Л.Н. Гумилева, г. Астана, РК)
Тема: Улучшение качества кластеризации навыков ИТ-вакансий с помощью тонкой настройки модели sentence transformer
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.