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

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

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

—————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
—————————————————
Заседание N 849
27 октября 2015
Комната 254 ИСИ СО РАН
Время: 14.30
—————————————————
Т.А. Золотухин
«GraphiCon’2015 25-я Международная конференция
по компьютерной графике и зрению
Сентябрь 22- 25, 2015
Протвино, Парк Дракино, Россия»
—————————————————

—————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
—————————————————
Заседание N 848
20 октября 2015
Комната 254 ИСИ СО РАН
Время: 14.30
—————————————————
Приглашаем всех на
Международную конференцию «Актуальные проблемы
вычислительной и прикладной математики»
(октябрь 19-23, 2015, Академгородок, Новосибирск)
http://conf.ict.nsc.ru/amca15/ru/
—————————————————

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

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

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

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

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

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