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

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 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»
————————————————————

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

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

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

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 676
30 октября 2007
Комната 254 ИСИ СО РАН
Время: 14.15
————————————————————
Р.Н.Арапбаев
ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ
НОВОЙ СТРАТЕГИИ ТЕСТИРОВАНИЯ
————————————————————

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

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 673
9 октября 2007
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
В.Н.Касьянов
Программистские новости:
Международный конгресс по индустриальной и прикладной
математике (ICIAM-07, Цюрих) и Европейская конференция по
вычислениям (ECC-07, Афины)
————————————————————

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