Заседание 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 922
25 февраля 2020
Комната 254 ИСИ СО РАН
Время: 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
————————————————————
К.А. Кламбоцкий
«Методы отладки функциональных программ»
————————————————————