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»
Тема следующего семинара:
Частичное удаление избыточности при динамическом распределении памяти
Докладчик:
А.В. Глушко
Дата проведения: 03.03.2020 — 14:30
Заседание N 922
25 февраля 2020
Комната 254 ИСИ СО РАН
Время: 14.30
А.А. Малышев «Средства поддержки разработки системы
Заседание N 921
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 921
24 декабря 2019
Комната 268 ИСИ СО РАН
Время: 15.00
————————————————————
Зачет
————————————————————
Семинар №920
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 920
10 декабря 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Д.А. Кондратьев
«Аксиоматическая семантика подмножества языка Cloud Sisal» ————————————————————
Семинар 3 декабря 2019 не состоится
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
3 декабря 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Семинар не состоится
————————————————————
Семинар №919
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 919
26 ноября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
К.А. Кламбоцкий
«Методы отладки функциональных программ»
————————————————————
Заседание N 917 (5 ноября 2019)
Объединенный семинар ИСИ СО РАН и НГУ
Конструирование и оптимизация программ»
проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
Заседание N 917
5 ноября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
Г.Б. Загорулько
«Модель, методы и средства комплексной поддержки разработки
СППР в слабоформализованных предметных областях»
(по материалам кандидатской диссертации)
Семинар N 916 (29 октября 2019)
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 916
29 октября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Д. А. Кондратьев
«Обзор докладов конференции TOOLS 2019:
International Conference on Objects, Components,
Models and Patterns»
————————————————————