Заседание 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

Заседание № 940


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

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

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

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

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

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

9 марта 2021 Время: 14.30

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

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

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

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

«Автоматизация тестирования для клиент-серверных приложений» (продолжение)

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

Заседание № 939


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

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

Заседание N 939
2 марта 2021
Время: 14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09
Идентификатор конференции Zoom: 947 9866 3794

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

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

«Автоматизация тестирования для клиент-серверных приложений»

Зачет


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

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

Заседание N 937
22 декабря 2020
Время:14.30
Подключиться к семинару можно по ссылке
https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09
Идентификатор конференции Zoom: 955 7282 7842

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

Заседание № 936

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

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

10 декабря 2020
Время: 10.00
приглашаем на заседание объединенного семинара
ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Подключиться к семинару можно по ссылке

https://meet.google.com/bux-bdjz-zdk

Д.А. Кондратьев

«Парадигмы программирования: язык обработки потоков SISAL»

Заседание № 935

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

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

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

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

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

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

8 декабря 2020

Время: 14.30

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

https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09 Идентификатор конференции Zoom: 955 7282 7842

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

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

К.А. Кламбоцкий

«Методы отладки программ в IR представлении»

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

Заседание № 934 (24 ноября 2020)


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

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

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

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

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

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

Время: 14.30

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

https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09

Идентификатор конференции Zoom: 955 7282 7842

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

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

А. М. Меркулов

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

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

Заседание № 933

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

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

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

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

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

13 ноября 2020

Малый зал Дома ученых

Приглашаем на прямую трансляцию на канале YouTube: https://www.youtube.com/channel/UC8LJTD6ayLuyYBdzRW3M3aQ

Научной сессии общего собрания СО РАН «О сотрудничестве с Государственной корпорацией по атомной энергии «Росатом»

Начало утреннего заседания в 10 часов

Начало вечернего заседания в 14.20 часов