Объединенный семинар
7 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Загорулько Г.Б. (ИСИ СО РАН)
Тема: Методология разработки интеллектуальных СППР в слабоформализованных предметных областях на основе информационно-аналитических ресурсов.
5 марта пройдет объединенный семинар "Теоретическое и экспериментальное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.
Докладчик: Кондратьев Д.А.
Тема: На пути к автоматизации дедуктивной верификации С-программ над одномерными массивами.
Во вторник 22 марта 2011 г. состоится семинар "Теоретическое и экспериментальное программирование", который будет состоять из двух частей:
- С 10:45 до 12:20 - доклад Дмитрия Сошникова, академического евангелиста от MS, на тему "Функциональное программирование на F#" (представление книги автора).
- С 12:30 до 14:15 - круглый стол на тему "Как преподавать функциональное программирование".
Приглашаем вас принять участие. Желающих выступить во время круглого стола (быть панелистами) с короткими сообщениями (10 - 15 минут) о своем подходе к преподаванию предмета - просьба сообщить по электронной почте Н.В. Шилову.