Семинары

Все семинары

Семинар "Интеллектуальные системы"

17 октября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.

Докладчик: Нагорных Д.Ю.

Тема: Обучение гибридных нейронных сетей для прогнозирования временных рядов.

Объединенный семинар «Теоретическое и экспериментальное программирование»

Во вторник 8 октября пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.

Докладчики: Кондратьев Д.А., Промский А.В.

Тема: Комплексный подход к автоматизированной локализации ошибок в С-программах (продолжение).

Семинар «Системное программирование»

Во вторник 3 октября пройдет объединенный семинар ИСИ СО РАН и кафедры программирования НГУ «Системное программирование» (руководители: проф. А.Г. Марчук, доцент М.А. Бульонков).

Начало в 11:00, ком. 254 ИСИ.
Докладчик: Загорулько Г.Б.
Тема: Модель, методы и средства комплексной поддержки разработки СППР в слабоформализованных предметных областях
(по материалам кандидатской диссертации).

Объединенный семинар «Конструирование и оптимизация программ»

Во вторник 1 октября пройдет объединенный семинар «Конструирование и оптимизация программ» ИСИ СО РАН и НГУ (руководитель - проф. В.Н. Касьянов). Начало в 14:30, ком. 254 ИСИ.

Докладчик: Л.В. Городняя.

Тема: Методика парадигмального анализа языков и систем программирования.

Семинар «Теоретическое и экспериментальное программирование»

Во вторник 1 октября пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель -  Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.

Докладчики: Кондратьев Д.А., Промский А.В.

Тема: Комплексный подход к автоматизированной локализации ошибок в С-программах.

Семинар «Интеллектуальные системы»

19 сентября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Еримбетова Айгерим
Тема: Лингвистическое и алгоритмическое обеспечение процесса информационного поиска на основе грамматики связей, в том числе для тюркских языков (по материалам кандидатской диссертации)

Семинар «Интеллектуальные системы»

12 сентября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.

Докладчик: Загорулько Г.Б. (ИСИ СО РАН)

Тема: Модель, методы и средства комплексной поддержки разработки СППР в слабоформализованных предметных областях (по материалам кандидатской диссертации)

Семинар «Интеллектуальные системы»

23 мая пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 11:00, ком. 239 ИСИ.

На семинаре будут представлены выпускные аспирантские квалификационные работы:

  1. Ахмадеева Ирина. Методы поиска и извлечения информации о научной деятельности для интеллектуальных научных интернет-ресурсов.
  2. Тимофеев Петр. Методы и программные средства коллективной разработки, поддержки и отладки лексико-семантических словарей и их применения для извлечения информации из текстовых источников.
Семинар "Интеллектуальные системы"

11 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 09:30, ком. 254 ИСИ.

На семинаре будут представлены бакалаврские и магистерские работы ММФ НГУ:

  1. Гапенко Маргарита. Разработка программного обеспечения для рационального дизайна искусственных полиэпитопных антигенов.
  2. Тихонов Николай. Поддержка разработки СППР в слабоформализованных предметных областях.
  3. Яшкин Андрей. Разработка библиотеки компонентов пользовательских интерфейсов для интеллектуальных систем.
Семинар "Интеллектуальные системы"

11 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 11:00, ком. 239 ИСИ.

Докладчик: Малых В.А. (МФТИ)

Тема: Методы сравнения и построения устойчивых к шуму программных систем в задачах обработки естественного языка (кандидатская диссертация).

Срок подачи докладов на семинар Наукоемкое программное обеспечение (НПО), который пройдет в рамках 12-й международной Ершовской конференции по информатике (PSI’19), продлен до 15 апреля.

В четверг, 4 апреля состоится заседание Объединенного семинара "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ СО РАН.

На семинаре будут представлены магистерские диссертации:

  1. Тусупова Мадина. Определение грамматических категорий с использованием машинного обучения.
  2. Рубцова Юлия. Методы сбора и автоматической тоновой классификации отзывов, представленных в социальных сетях, для задачи репутационного анализа.
Семинар "Системное программирование"

28 марта пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководители - профессор Марчук А.Г., доцент Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ.

Докладчик: Бульонков М.А., к.ф.-м.н.

Тема: Система поддержки прогнозирования развития опорной транспортной сети России.

Семинар "Интеллектуальные системы"

21 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.

Докладчик: Загорулько Ю.А.

Тема: Краткий обзор докладов 7 Всероссийской научной конференции "Информационные технологии и системы" (ИТиС-2019) г. Ханты-Мансийск, 12-16 марта 2019 г.

Семинар "Математические основы цифрового месторождения"

14 марта пройдет семинар "Математические основы цифрового месторождения" в ИВМиМГ. Руководители семинара: член-корреспондент РАН С.И. Кабанихин, профессор РАН М.А. Марченко, д.ф.-м.н. М.А. Шишленин. Начало в 10:00, каб. 3-346 ИВМиМГ.

Доклады:

  • В.В. Лапковский (ИНГГ СО РАН). «Технологии интерпретации сейсмических и скважинных данных отделения нефтяной геологии ИНГГ».
  • А.И. Конурин (ИГД СО РАН). «Цифровая модель рудного месторождения в процессе его отработки».
Семинар "Интеллектуальные системы"

7 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.

Докладчик: Загорулько Г.Б. (ИСИ СО РАН)

Тема: Методология разработки интеллектуальных СППР в слабоформализованных предметных областях на основе информационно-аналитических ресурсов.

Семинар "Теоретическое и экспериментальное программирование"

5 марта пройдет объединенный семинар "Теоретическое и экспериментальное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.

Докладчик: Кондратьев Д.А.

Тема: На пути к автоматизации дедуктивной верификации С-программ над одномерными массивами.

Объявляется прием заявок на участие в семинаре "Информатика образования", который пройдет 5-6 июля 2019 г. в рамках 12-й Международной Ершовской конференции по информатике (PSI’2019).

Важные даты:
Заявки на участие и представление тезисов принимаются до 15 марта 2019 г.
Полные тексты докладов принимаются до 4 апреля 2019 г.

Продолжается прием заявок на участие в семинаре "Наукоемкое программное обеспечение (НПО)", который пройдет 2-5 июля 2019 в рамках 12-й международной Ершовской конференции по информатике (PSI’2019).

Полные тексты докладов принимаются до 4 апреля 2019 г.

Более подробная информация - на странице семинара НПО.

Школьники в компьютерном классе ЛШЮП-2017

В четверг 11 января в 15.00 в каб. 254 состоится семинар-круглый стол на тему "Обсуждение программ IT-классов для школьников". Приглашаются все заинтересованные.

ИСИ СО РАН, ИМ СО РАН и ММФ НГУ проводят 4 октября семинар в виде «круглого стола» по проблематике блокчейн – смарт контракты – криптовалюты: https://blockchainworkshop.ru.

Круглый стол "Блокчейн и фундаментальная наука" состоится 4 октября 2017 г. в 16-00, ауд. 4109 нового корпуса НГУ.

Предполагается, что семинар будет установочным, т.е. обозначит проблематику и наш интерес к ней. Если интерес будет достаточным, предполагается продолжение семинаров, формирование совместных проектов. Организаторы приглашают к участию в круглом столе научных сотрудников, программистов и аспирантов ИСИ и дружественных организаций, кому есть что сказать по этим вопросам или просто послушать.

Андрей Петрович Ершов

8 декабря состоится объединенный семинар ИСИ СО РАН и кафедры программирования НГУ по системному программированию (руководители проф. А.Г. Марчук, доц. М.А. Бульонков).

Заседание приурочено ко дню памяти академика Андрея Петровича Ершова (19.04.1931 — 08.12.1988). На семинаре будет представлен доклад И.А. Крайневой «Советские ЭВМ: шесть вопросов Андрея Петровича Ершова академику Михаилу Алексеевичу Лаврентьеву».

Время и место проведения: 8 декабря, в четверг, в 11.00, аудитория 254.
Приглашаются все желающие.

Приглашаем заслушать представления диссертационных работ аспирантов 3 курса в 2016 г.:

23 июня, семинар "Системное программирование"
(рук. А.Г. Марчук, М.А. Бульонков), каб. 254, в 11.00

  1. С.И. Никитин (научный руководитель Е.С. Черёмушкин)
    Тема: Разработки программной системы поиска области связывания с группами транскрипционных факторов на ДНК.
  2. В.В. Парфиненко (научный руководитель М.А. Бульонков)
    Тема: Применение межпроцедурного анализа указателей и синонимов для оптимизации многопоточных программ.

28 июня, семинар "Конструирование и оптимизация программ", каб. 254, в 14.30

  1. Т.А. Золотухин (научный руководитель В.Н. Касьянов)
    Тема: Методы и средства интерактивной визуализации структурированной информации.

Приглашаем посетить семинары, на которых по приглашению ИСИ СО РАН выступят профессора из JAIST (Высшая школа информатики, Япония).

Профессор Сатоши Тохо (Satoshi Tojo) выступит с докладом «Agent, Epistemology, and AI» (Агенты, эпистемология и искусственный интеллект).
Семинар состоится 15 марта в 10:50 в Семинарской комнате ИСИ СО РАН.

Профессор Мицухито Огава (Mizuhito Ogawa) выступит с докладом «Well structured pushdown systems» (Хорошо структурированные магазины).
Семинар состоится 17 марта в 11 часов в Семинарской комнате ИСИ СО РАН.