Заседание № 950

Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar

23 ноября 2021
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035

Код доступа: Ep90LL

Т.А. Золотухин

«Visual Graph: текущее состояние проекта и планы на будущее»

Заседание № 949

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


9 ноября 2021
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035
Код доступа: Ep90LL

Д.С. Гордеев
«Модель визуализации и отладки
на графовом представлении Cloud Sisal программ»

Заседание № 948


26 октября 2021
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035

Код доступа: Ep90LL

К.А. Кламбоцкий
«Конструирование и оптимизация курсов по программированию
на примере линейки Python в международной онлайн-школе Kodland»

(продолжение)

Заседание № 947


Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar

19 октября 2021
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035

Код доступа: Ep90LL

К.А. Кламбоцкий
«Конструирование и оптимизация курсов по программированию на примере линейки Python в международной онлайн-школе Kodland»

Заседание № 946


Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar


28 сентября 2021
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035

Код доступа: Ep90LL

Р.И. Идрисов

«PDU-процессор для обработки данных»

Заседание № 945 (Зачёт)


Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar


18 мая 2021

Время:16.30

Подключиться к конференции Zoom
https://us02web.zoom.us/j/89880483656?pwd=R01kUXdhZmFRWHhMK3lVQmw3NTE2QT09
Идентификатор конференции: 898 8048 3656
Код доступа: 5Q5TTK

Заседание № 944


Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar


23 апреля 2021
Время: 16.00
XV Ершовская лекция по информатике и программированию
Подключиться к лекции можно по ссылке

https://us02web.zoom.us/j/84059693115

А.М. Райгородский

«Теория графов и ее приложения»

Заседание N 943

———————————————————————

Объединенный семинар ИСИ СО РАН и НГУ

«Конструирование и оптимизация программ»

(проводится с 1979 года)

Руководитель — проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar

———————————————————————

Заседание N 943

16 апреля 2021

Время: 16.00

XV Ершовская лекция по информатике и программированию

Подключиться к лекции можно по ссылке

https://us02web.zoom.us/j/84059693115

———————————————————————

В.Н. Касьянов «Академик Андрей Петрович Ершов и графы в программировании»

———————————————————————

Заседание N 942


Объединенный семинар ИСИ СО РАН и НГУ

«Конструирование и оптимизация программ» (проводится с 1979 года)

Руководитель — проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar

———————————————————————

6 апреля 2021

Время: 14.30

Подключиться к семинару можно по ссылке

https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09 Идентификатор конференции Zoom: 947 9866 3794

Код доступа: 150471

———————————————————————

А.М. Меркулов «Циркулярная укладка атрибутированного иерархического графа с портами»

———————————————————————

Заседание № 941


Объединенный семинар ИСИ СО РАН и НГУ
"Конструирование и оптимизация программ"
(проводится с 1979 года)
Руководитель - проф. В.Н. Касьянов

http://pco.iis.nsk.su/seminar

                       
23 марта 2021
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09
Идентификатор конференции Zoom: 947 9866 3794
Код доступа: 150471
Д.А. Кондратьев
На пути к дедуктивной верификации C-программ,расширенных циклами языка Cloud Sisal