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

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

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

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

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

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

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

Реферат статьи M. Fox.«On Formally Undecidable Traits of Intelligent Machines»

Докладчик: 

Д. С. Пушкарев

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