Объединенный семинар
![Семинар "Системное программирование" Семинар "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_2.png?itok=5rDaqQ0m)
28 марта пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководители - профессор Марчук А.Г., доцент Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ.
Докладчик: Бульонков М.А., к.ф.-м.н.
Тема: Система поддержки прогнозирования развития опорной транспортной сети России.
![Семинар "Интеллектуальные системы" Семинар "Интеллектуальные системы"](/files/styles/news/public/news/image/seminar_isi_ngu_1.png?itok=qAyVK1tR)
21 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Загорулько Ю.А.
Тема: Краткий обзор докладов 7 Всероссийской научной конференции "Информационные технологии и системы" (ИТиС-2019) г. Ханты-Мансийск, 12-16 марта 2019 г.
![Семинар "Интеллектуальные системы" Семинар "Интеллектуальные системы"](/files/styles/news/public/news/image/seminar_isi_ngu_0.png?itok=etY8Rvs2)
7 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Загорулько Г.Б. (ИСИ СО РАН)
Тема: Методология разработки интеллектуальных СППР в слабоформализованных предметных областях на основе информационно-аналитических ресурсов.
![Семинар "Теоретическое и экспериментальное программирование" Семинар "Теоретическое и экспериментальное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu.png?itok=Sm85lzQy)
5 марта пройдет объединенный семинар "Теоретическое и экспериментальное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.
Докладчик: Кондратьев Д.А.
Тема: На пути к автоматизации дедуктивной верификации С-программ над одномерными массивами.
Во вторник 22 марта 2011 г. состоится семинар "Теоретическое и экспериментальное программирование", который будет состоять из двух частей:
- С 10:45 до 12:20 - доклад Дмитрия Сошникова, академического евангелиста от MS, на тему "Функциональное программирование на F#" (представление книги автора).
- С 12:30 до 14:15 - круглый стол на тему "Как преподавать функциональное программирование".
Приглашаем вас принять участие. Желающих выступить во время круглого стола (быть панелистами) с короткими сообщениями (10 - 15 минут) о своем подходе к преподаванию предмета - просьба сообщить по электронной почте Н.В. Шилову.