В четверг, 11 марта 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Лидия Васильевна Городняя (ИСИ СО РАН)
Тема: О достоверности исторической и научной фактографии
Чтобы принять участие в семинаре, необходимо перейти по ссылке. |
В четверг, 25 февраля 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: А.О. Корней (АлтГТУ)
Тема: Методы и алгоритмы аспектного сентимент-анализа на основе гибридной cемантико-статистической модели естественного языка
Чтобы принять участие в семинаре, необходимо перейти по ссылке. |
16 февраля пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30
Докладчик: Т.А. Золотухин Тема: "Автоматизация тестирования для клиент-серверных приложений"
Чтобы принять участие в семинаре, необходимо перейти по ссылке https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09
Идентификатор конференции Zoom: 947 9866 3794 Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
|
В четверг, 17 декабря 2020 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Г.Б. Загорулько (ИСИ СО РАН)
Тема: Онтология поддержки решения вычислительно сложных задач математической физики на суперкомпьютерах
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
|
В четверг, 10 декабря 2020 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Д.А. Кондратьев (ИСИ СО РАН)
Тема: Парадигмы программирования: язык обработки потоков SISAL
Чтобы принять участие в семинаре, необходимо перейти по ссылке. |
Предлагаем вашему вниманию видеозапись заседания объединенного семинара ИСИ СО РАН и кафедры программирования НГУ "Интеллектуальные системы", состоявшегося 3 декабря 2020 года.
Докладчик: А.Г. Марчук (ИСИ СО РАН)
Тема: Парадигмы программирования: язык обработки массивов APL
|
Предлагаем вашему вниманию видеозапись заседания объединенного семинара ИСИ СО РАН и кафедры программирования НГУ "Интеллектуальные системы", состоявшегося 5 ноября 2020 года.
Докладчики: Ю.А. Загорулько, Г.Б. Загорулько
Тема: О научном наследии А.С. Нариньяни |
26 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 10:00
Докладчики: А.С. Серый (ИСИ СО РАН)
Тема: Разработка платформы для исследования аргументации в научно-популярном дискурсе
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
|
19 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 10:00
Докладчики: Лидия Васильевна Городняя (ИСИ СО РАН)
Тема: Стратегические парадигмы программирования в сфере влияния А.П.Ершова
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
|
5 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 10:00
Докладчики: Ю.А. Загорулько, Г.Б. Загорулько (ИСИ СО РАН)
Тема: Недоопределенные модели А.С. Нариньяни: становление, применение, проблемы и перспективы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
|
В связи с проведением конференции "Марчуковские научные чтения" заседание семинара "Интеллектуальные системы" 22 октября 2020 г. не состоится.
|
15 октября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 10:00
Докладчик: Боровикова О.И. (ИСИ СО РАН)
Тема: Разработка системы автоматизированного построения онтологий на основе разнородных паттернов онтологического проектирования
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
|
8 октября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 10:00
Докладчики: Загорулько Ю.А., Сидорова Е.А. (ИСИ СО РАН)
Тема: Моделирование и автоматический анализ риторической аргументации в научно-популярном дискурсе
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
|
6 октября пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30.
Докладчик: Д.А. Кондратьев Тема: "Обзор языков спецификаций, применимых для аннотирования Cloud Sisal программ"
Чтобы принять участие в семинаре, необходимо перейти по ссылке https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09
Идентификатор конференции Zoom: 955 7282 7842. Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
|
Математический центр в Академгородке приглашает вас принять участие в работе интернет-семинара "Актуальные проблемы прикладной математики".
Руководители семинара: И.А. Тайманов, С.И. Кабанихин, А.Е. Миронов, М.А. Шишленин. Секретарь семинара: Н.М. Прохошин. Время: 15 мая, 18-00 по новосибирскому времени (14-00 по московскому времени) Тема: Сосудистая нейрохирургия: потребность в новых математических и алгоритмических подходах для диагностики и лечения Докладчик: Член-корреспондент РАН А.Л. Кривошапкин (Национальный медицинский исследовательский центр имени академика Е. Н. Мешалкина, Новосибирский государственный медицинский университет) Тема: Математическое моделирование гемодинамики головного мозга Докладчики: А.П. Чупахин, А.К. Хе, Д.В. Паршин, А.А. Черевко (Институт гидродинамики им. М.А. Лаврентьева СО РАН, Новосибирский государственный университет) Страница семинара: https://www.nsu.ru/n/mca/researchgroups/nauchno-obrazovatelnye-seminary/
|
12 мая пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30.
Докладчик: Л.Б. Анисютин Тема: Усовершенствование модели для построения эмбеддингов слов на основе глубокого обучения ELMO.
Идентификатор конференции Zoom: 81-4003-1400. Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
|
30 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 10:00
Докладчик: Николай Вячеславович Шилов
Тема: На пути к онтологии и навигации в мире компьютерных языков.
Аннотация: В докладе будет сделан ретроспективный обзор онтологического подхода к классификации компьютерных языков, будет рассказано о попытке его реализовать десять лет назад, о возникших тогда трудностях, и почему сейчас их, наверное, можно преодолеть.
Чтобы принять участие в семинаре, необходимо подключиться к конференции Zoom
Идентификатор конференции: 815 7782 4677. Пароль можно получить по запросу на электронную почту Загорулько Ю.А.
|
28 апреля пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор Касьянов В.Н.). Начало в 14:30.
Докладчик: Д.А. Кондратьев Тема: Аксиоматическая семантика языка Cloud Sisal Kernel.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Идентификатор конференции Zoom: 930 5296 3931
Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
|
23 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 10:00
Докладчик: Демидов Сергей (ФИТ НГУ)
Тема: Представление результатов семантического анализа языков программирования.
Чтобы принять участие в семинаре, необходимо перейти по ссылке .
Внимание! Ссылка изменилась. |
12 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Перепёлкин Владислав Александрович (ИВМ и МГ СО РАН)
Тема: Язык и система LuNA автоматического конструирования параллельных программ численного моделирования на мультикомпьютерах (по материалам диссертации). |
5 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Андрей Матвеев (ФИТ НГУ)
Тема: Разработка программных средств для улучшения работы механизмов автодополнения кода с использованием алгоритмов машинного обучения в интегрированной среде разработки языка Python.
Докладчик: Салтук Константин (ФИТ НГУ)
Тема: Разработка многопользовательской модели данных для систем автоматизированного проектирования. |
Во вторник 3 марта пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.
Докладчик: Кондратьев Д.А.
Тема: На пути к автоматизации дедуктивной верификации С-программ с вложенными циклами. |
20 февраля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Александр Найденов (ФИТ НГУ)
Тема: Разработка биологически подобной нейронной сети для выявления и анализа движения. |
19 декабря пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчики: Загорулько Ю.А., Гаранина Н.О., Сидорова Е.А.
Тема: Сообщение о XVII национальной конференции по искусственному интеллекту с международным участием (КИИ-2019) (г. Ульяновск, 21 – 25 октября 2019 г.) |
12 декабря пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Боровикова О.И.
Тема: Построение онтологий научных предметных областей на основе системы разнородных паттернов онтологического проектирования. |
5 декабря пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.ф.-м.н. Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ.
Докладчик: Хайрулин Сергей Сергеевич, ИСИ СО РАН
Тема: Алгоритмы и программный инструментарий обработки данных на гетерогенных вычислительных системах применительно к задачам гидродинамики и биомеханики (по материалам кандидатской диссертации).
|
28 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ. Докладчик: Муртазина М.Ш. (НГТУ) Тема: Интеллектуальная поддержка принятия решений в области инженерии требований на основе онтологических моделей представления знаний (кандидатская диссертация).
|
28 ноября пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.ф.-м.н. Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ. Докладчик: Аркашов Н.С. Тема: Анализ структурных данных аномальных процессов переноса (по материалам докторской диссертации).
|
21 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Кознов Д.В. (СПбГУ)
Тема: Об управлении избыточной информацией в текстах и данных программных проектов.
|
7 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 239 ИСИ.
Докладчик: Ахмадеева И.Р. (ИСИ СО РАН)
Тема: Сообщение о XXI Международной конференции DAMDID/RCDL′2019 «Аналитика и управление данными в областях с интенсивным использованием данных» (Казань, 15 - 18 октября). |
31 октября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 239 ИСИ.
Докладчик: Журавлев С.С. (ИВТ СО РАН)
Тема: Имитационный программно-аппаратный комплекс для тестирования АСУ ТП предприятий горнодобывающей промышленности (кандидатская диссертация). |
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 ИСИ.
На семинаре будут представлены выпускные аспирантские квалификационные работы:
- Ахмадеева Ирина. Методы поиска и извлечения информации о научной деятельности для интеллектуальных научных интернет-ресурсов.
- Тимофеев Петр. Методы и программные средства коллективной разработки, поддержки и отладки лексико-семантических словарей и их применения для извлечения информации из текстовых источников.
|
11 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 09:30, ком. 254 ИСИ.
На семинаре будут представлены бакалаврские и магистерские работы ММФ НГУ:
- Гапенко Маргарита. Разработка программного обеспечения для рационального дизайна искусственных полиэпитопных антигенов.
- Тихонов Николай. Поддержка разработки СППР в слабоформализованных предметных областях.
- Яшкин Андрей. Разработка библиотеки компонентов пользовательских интерфейсов для интеллектуальных систем.
|
11 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 11:00, ком. 239 ИСИ.
Докладчик: Малых В.А. (МФТИ)
Тема: Методы сравнения и построения устойчивых к шуму программных систем в задачах обработки естественного языка (кандидатская диссертация).
|
Срок подачи докладов на семинар Наукоемкое программное обеспечение (НПО), который пройдет в рамках 12-й международной Ершовской конференции по информатике (PSI’19), продлен до 15 апреля.
|
В четверг, 4 апреля состоится заседание Объединенного семинара "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ СО РАН.
На семинаре будут представлены магистерские диссертации:
- Тусупова Мадина. Определение грамматических категорий с использованием машинного обучения.
- Рубцова Юлия. Методы сбора и автоматической тоновой классификации отзывов, представленных в социальных сетях, для задачи репутационного анализа.
|
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 г.
Более подробная информация - на странице семинара НПО.
|