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

Объединенный учебно-научный семинар кафедры программирования НГУ и Института систем информатики имени А.П. Ершова СО РАН проводится с 1979 года. В нем участвуют студенты, специализирующиеся на кафедре, институтские и университетские аспиранты, преподаватели кафедры и сотрудники института, а также ученые и преподаватели из других российских и зарубежных организаций.

Основные темы работ, изучаемых на семинаре, связаны с исследованиями, направленными на разработку методов и средств повышения качества математического обеспечения ЭВМ, главным образом его эффективности и надежности. В частности, на семинаре изучаются результаты фундаментальных исследований по разработке теоретических основ трансформационного программирования и его развитию в сторону синтеза программ и перспективных архитектур, а также рассматриваются экспериментальные и прикладные проекты, базирующиеся на разрабатываемых теоретических концепциях и методах.
На семинаре представляются новые научные результаты, заслушиваются обзорные и реферативные доклады, проводится апробация дипломных работ и магистерских, кандидатских и докторских диссертаций.

Лучшие оригинальные доклады, заслушанные на семинаре, публикуются в ежегодных сборниках серии научных трудов «Конструирование и оптимизация программ», издаваемых в ИСИ СО РАН под редакцией проф. В.Н. Касьянова.

Сайт семинара: http://pco.iis.nsk.su/seminar.

Подключиться к семинару можно по ссылке
https://us02web.zoom.us/j/84148408391?
pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции: 84148408391
Код доступа: i7f1Xv

Тема следующего семинара: 

Реферат статьи Roos M. Bakker, Daan L.Di Scala and Maaike H.T. de Boer
"Ontology Learning from Text: an Analysis on LLM Performance"
(NLP4KGC: 3rd International Workshop on Natural Language Processing for Knowledge Graph Creation in conjunction with SEMANTiCS 2024 Conference,
September 17–19, 2024, Amsterdam, The Netherlands)

Докладчик: 

С.В. Попов

Дата проведения: 
28.04.2026 - 14:30