Рубрика: Семинары

---

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

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

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

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

Р.И. Идрисов

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

---

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

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

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

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

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

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

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

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

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

(проводится с 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

                       
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

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

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

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

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