Лаборатория Конструирования и Оптимизации Программ ИСИ СО РАН
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 918
12 ноября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Д.А. Кондратьев
«Обзор докладов по формальной верификации
по материалам конференций TOOLS-2019,
SIBIRCON-2019 и семинара FWFM-2019»
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
Конструирование и оптимизация программ»
проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
Заседание N 917
5 ноября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
Г.Б. Загорулько
«Модель, методы и средства комплексной поддержки разработки
СППР в слабоформализованных предметных областях»
(по материалам кандидатской диссертации)
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 916
29 октября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Д. А. Кондратьев
«Обзор докладов конференции TOOLS 2019:
International Conference on Objects, Components,
Models and Patterns»
————————————————————
————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 915
15 октября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
А.С. Еримбетова
«Лингвистическое и алгоритмическое обеспечение процесса информационного поиска на основе грамматики связей, в том числе для тюркских языков»
(По материалам кандидатской диссертации)
————————————————————
«WikiGRAPP» — это электронный вики словарь по теории графов и ее применениям в информатике и программировании.
«WikiGRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 18-07-00024).
Читать далее «Словарь по теории графов Wiki GRAPP»«WEGA» — это интерактивная электронная энциклопедия теоретико-графовых алгоритмов решения задач информатики и программирования.
«WEGA» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 18-07-00024).
Читать далее «Веб-Энциклопедия Графовых Алгоритмов WEGA»Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
Заседание N 914
1 октября 2019
Комната 254 ИСИ СО РАН
Время: 14.30
Л. В. Городняя
«Методика парадигмального анализа языков и систем программирования»
_____________________________________________________
CPPS — интегрированная облачная среда параллельного программирования на базе функционального языка Cloud Sisal.
Выступление выпускников кафедры
Елисеев Егор Сергеевич
Сидельникова Мария Николаевна
Мосин Алексей Олегович
Дата проведения: 23.04.2019 — 14:30
Место проведения: комната 254 ИСИ СО РАН.
—————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
—————————————————
Заседание N 911
18 апреля 2018
Новосибирский Технопарк (ул. Николаева, 11, этаж 13)
Время: 16.00
—————————————————
14-я Ершовская лекция по информатике
—————————————————
Н.В. Лукашевич
«Современные тенденции в автоматической обработке текстов»
—————————————————