Лаборатория Конструирования и Оптимизации Программ
Лаборатория Конструирования и Оптимизации Программ ИСИ СО РАН
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
10 декабря 2020
Время: 10.00
приглашаем на заседание объединенного семинара
ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Подключиться к семинару можно по ссылке
https://meet.google.com/bux-bdjz-zdk
Д.А. Кондратьев
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
———————————————————————
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09
Идентификатор конференции Zoom: 955 7282 7842
Код доступа: 323330
———————————————————————
А. М. Меркулов
Циркулярная укладка атрибутированного иерархического графа с портами
———————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
13 ноября 2020
Малый зал Дома ученых
Приглашаем на прямую трансляцию на канале YouTube: https://www.youtube.com/channel/UC8LJTD6ayLuyYBdzRW3M3aQ
Научной сессии общего собрания СО РАН «О сотрудничестве с Государственной корпорацией по атомной энергии «Росатом»
Начало утреннего заседания в 10 часов
Начало вечернего заседания в 14.20 часов
Д. А. Кондратьев
«Обзор языков спецификаций, применимых для аннотирования Cloud Sisal программ»
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09 Идентификатор конференции Zoom: 955 7282 7842
Код доступа: 323330
Заседание N 928
19 мая 2020
Время: 14.30
Подключиться к семинару можно по ссылке https://us02web.zoom.us/j/81161598862?pwd=RXNkR2o4TGdya3dZQnV1aVowZlJhUT09
28 апреля 2020
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/93052963931?pwd=djc1eWZ4ZUV0Y1dtTGlOYU1RTWZkQT09
Д.А. Кондратьев
«Аксиоматическая семантика языка Cloud Sisal Kernel»
Заседание N 924
10 марта 2020
Комната 254
ИСИ СО РАН
Время: 14.30
Р.И. Идрисов
«По следам конференции PLDI 2019 (г.Финикс, Аризона, 22-26 июня 2019»
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 921
24 декабря 2019
Комната 268 ИСИ СО РАН
Время: 15.00
————————————————————
Зачет
————————————————————
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 919
26 ноября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
К.А. Кламбоцкий
«Методы отладки функциональных программ»
————————————————————
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 918
12 ноября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Д.А. Кондратьев
«Обзор докладов по формальной верификации
по материалам конференций TOOLS-2019,
SIBIRCON-2019 и семинара FWFM-2019»
————————————————————