Рубрика: Семинары

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 594
24 февраля 2004
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Р.А. Осмонов
Унимодулярные преобразования двойных циклов
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 593
13 января 2004
Комната 268 ИСИ СО РАН
Время: 16.00
————————————————————
Ф.А. Казаков
Функциональный язык для разработки переносимых
параллельных программ
(кандидатская диссертация)

————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 592
23 декабря 2003
Комната 268 ИСИ СО РАН
Время: 14.30
————————————————————
Зачет
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 591
16 декабря 2003
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Д. В. Шкурко
«Системы переписывания графов — модель
распределенных вычислений.»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 590
9 декабря 2003
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
И. И. Болдырев
«Grid — сверхбольшие распределённые системы»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 589
2 декабря 2003
Комната 254б ИСИ СО РАН
Время: 14.30
————————————————————
А.П. Стасенко
Система программирования SFP:
внутреннее представление SISAL 3.0 — программ
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 588
25 ноября 2003
Комната 254б ИСИ СО РАН
Время: 14.30
————————————————————
Н.В. Шилов
О временных логиках просто
(продолжение)
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 587
18 ноября 2003
Комната 254б ИСИ СО РАН
Время: 14.30
————————————————————
Н.В. Шилов
О временных логиках просто
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 586
11 ноября 2003
Комната 254б ИСИ СО РАН
Время: 14.30
————————————————————
Ю.Х. Хазиева
Кучи как структуры данных
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 585
4 ноября 2003
Комната 254б ИСИ СО РАН
Время: 14.30
————————————————————
А.Л. Серебренников
Введение в нейронные сети
————————————————————