Лаборатория Конструирования и Оптимизации Программ ИСИ СО РАН
12 апреля 2022
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391
Л.В. Городня, Д.А. Кондратьев
«Путь обучения функциональному программированию и
конференция TFPIE 2022″
29 марта 2022
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391
Код доступа: i7f1Xv
А.А. Зозуля
«Рефакторинг IDE для процесс-ориентированного языка IndustrialC»
22 марта 2022
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391
Код доступа: i7f1Xv
А.А. Завьялов
«Проектирование и реализация графического окружения
функционального программирования Flovver»
15 марта 2022
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391
Код доступа: i7f1Xv
А.В. Сергеев
«Язык программирования Julia»
1 марта 2022
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391
Код доступа: i7f1Xv
Н.А. Медведев
«Schasm — учебный компилятор диалекта Scheme»
22 февраля 2022
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391
Код доступа: i7f1Xv
Д.А. Кондратьев
«На пути к дедуктивной верификации C-программ,
расширенных конструкциями языка Cloud Sisal»
(продолжение)
15 февраля 2022
Время: 14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/84148408391?pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции:84148408391, Код доступа: i7f1Xv
Д.А. Кондратьев
«На пути к дедуктивной верификации C-программ, расширенных конструкциями языка Cloud Sisal»
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
Заседание N 953
21 декабря 2021
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035
Код доступа: Ep90LL
Зачет
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
Заседание N 952
14 декабря 2021
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035
А.Р. Минин
«Обучение с частичным привлечением учителя для задач сегментации микрофотографий клеточных стенок»
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
7 декабря 2021
Время:14.30
Подключиться к лекции можно по ссылке
https://us02web.zoom.us/j/89460382035?pwd=ellhandPU2hDK2ZPdThuaUMwcXpUZz09
Идентификатор конференции: 894 6038 2035
Т.А. Золотухин
«Visual Graph: текущее состояние проекта и планы на будущее»