Автор: alexm

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

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