Лаборатория Конструирования и Оптимизации Программ
Лаборатория Конструирования и Оптимизации Программ ИСИ СО РАН
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 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 программ»
26 октября 2021
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035
Код доступа: Ep90LL
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
19 октября 2021
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035
К.А. Кламбоцкий
«Конструирование и оптимизация курсов по программированию на примере линейки Python в международной онлайн-школе Kodland»
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
28 сентября 2021
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035
Код доступа: Ep90LL
Р.И. Идрисов
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
18 мая 2021
Время:16.30
Подключиться к конференции Zoom
https://us02web.zoom.us/j/89880483656?pwd=R01kUXdhZmFRWHhMK3lVQmw3NTE2QT09
Идентификатор конференции: 898 8048 3656
Код доступа: 5Q5TTK
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
23 апреля 2021
Время: 16.00
XV Ершовская лекция по информатике и программированию
Подключиться к лекции можно по ссылке
А.М. Райгородский
———————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
———————————————————————
Заседание N 943
16 апреля 2021
Время: 16.00
XV Ершовская лекция по информатике и программированию
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84059693115
———————————————————————
В.Н. Касьянов «Академик Андрей Петрович Ершов и графы в программировании»
———————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ» (проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
———————————————————————
6 апреля 2021
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09 Идентификатор конференции Zoom: 947 9866 3794
Код доступа: 150471
———————————————————————
А.М. Меркулов «Циркулярная укладка атрибутированного иерархического графа с портами»
———————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
"Конструирование и оптимизация программ"
(проводится с 1979 года)
Руководитель - проф. В.Н. Касьянов
23 марта 2021
Время: 14.30
Подключиться к семинару можно по ссылкеhttps://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09
Идентификатор конференции Zoom: 947 9866 3794
Код доступа: 150471
Д.А. Кондратьев
На пути к дедуктивной верификации C-программ,расширенных циклами языка Cloud Sisal
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
———————————————————————
9 марта 2021 Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09 Идентификатор конференции Zoom: 947 9866 3794
Код доступа: 150471 ———————————————————————
Т.А. Золотухин
«Автоматизация тестирования для клиент-серверных приложений» (продолжение)
———————————————————————