Заседание №871

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

Заседание №870

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

Заседание №869

—————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
—————————————————
Заседание N 869
10 мая 2016
Комната 254 ИСИ СО РАН
Время: 14.30
—————————————————
Выступление студентов ММФ НГУ:
Мусатов Денис Сергеевич
(Рук. Черемушкин Е. С., Вяткин Ю. В.)
«Разработка алгоритма для поиска перепредставленных
k-меров и его реализация в среде Apache Spark»
Кобало Николай Сергеевич
(Рук. Куликов А. И., Меграбов А.Г.)
«Алгоритмы классификации вокальной речи»
Панкова Мария Витальевна (Рук. Титов И.И.)
«Компьютерный анализ частоты использования терминов
в базе данных научных публикаций
по биологии и медицине»
—————————————————

Заседание №868

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

Заседание №867

—————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
—————————————————
Заседание N 867
19 апреля 2016
Комната 239 ИСИ СО РАН
Время: 10.00-12.00
—————————————————
11-я Ершовская лекция по информатике
—————————————————
А. К. Петренко
«Добротность программных систем»
—————————————————

Заседание №866

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

Заседание №865

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

Заседание №864

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

Заседание №863

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

Заседание №862

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