Автор: alexm

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

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

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

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

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

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

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

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

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

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