Объединенный учебно-научный семинар кафедры программирования НГУ и Института систем информатики имени А.П. Ершова СО РАН проводится с 1979 года. В нем участвуют студенты, специализирующиеся на кафедре, институтские и университетские аспиранты, преподаватели кафедры и сотрудники института, а также ученые и преподаватели из других российских и зарубежных организаций.
Основные темы работ, изучаемых на семинаре, связаны с исследованиями, направленными на разработку методов и средств повышения качества математического обеспечения ЭВМ, главным образом его эффективности и надежности. В частности, на семинаре изучаются результаты фундаментальных исследований по разработке теоретических основ трансформационного программирования и его развитию в сторону синтеза программ и перспективных архитектур, а также рассматриваются экспериментальные и прикладные проекты, базирующиеся на разрабатываемых теоретических концепциях и методах.
На семинаре представляются новые научные результаты, заслушиваются обзорные и реферативные доклады, проводится апробация дипломных работ и магистерских, кандидатских и докторских диссертаций.
Лучшие оригинальные доклады, заслушанные на семинаре, публикуются в ежегодных сборниках серии научных трудов «Конструирование и оптимизация программ», издаваемых в ИСИ СО РАН под редакцией проф. В.Н. Касьянова.
Сайт семинара: http://pco.iis.nsk.su/seminar.
Подключиться к семинару можно по ссылке
https://us02web.zoom.us/j/84148408391?
pwd=VExoTE1xVlRlYktvSDR3SzRyN012Zz09
Идентификатор конференции: 84148408391
Код доступа: i7f1Xv
Исследование методов формирования корпусов данных и обнаружения фейков на основе аргументации
Т.М. Кравченко