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

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

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

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

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

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

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

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

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

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

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