Автор: alexm

—————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 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
—————————————————
А.В. Снытников
«Решение задач физики плазмы и астрофизики
методом частиц в ячейках
на суперЭВМ пета- и экзафлопсного класса»
—————————————————

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

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

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