Зачёт

Заседание N 928

19 мая 2020

Время: 14.30

Подключиться к семинару можно по ссылке https://us02web.zoom.us/j/81161598862?pwd=RXNkR2o4TGdya3dZQnV1aVowZlJhUT09

Заседание N 927

12 мая 2020

Время: 14.30

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

https://us02web.zoom.us/j/81140031400?pwd=bkppazJ2QmNUcjR0V0ZBdEJqLy9Ddz09 Идентификатор конференции Zoom: 811-4003-1400

Пароль: 4b3cnU

Л.Б. Анисютин

«Усовершенствование модели для построения эмбеддингов слов на основе глубокого обучения ELMO»

Заседание N 926


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 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

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

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

«Методы отладки функциональных программ»

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