Лаборатория Конструирования и Оптимизации Программ

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

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

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

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

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

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

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

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

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

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