Во вторник 28 октября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Разбитнова Юлия Юрьевна, студент 2-го курса магистратуры ММФ НГУ
Тема: Язык Verilog: от описания аппаратуры до формальной верификации
Доклад представляет собой обзор языка Verilog — одного из ключевых языков описания аппаратуры (HDL). Рассматриваются основные концепции и конструкции языка, его роль в проектировании, моделировании и верификации цифровых систем, включая использование формальных методов.
Вниманию участников семинара! Так как следующий вторник 4 ноября — День народного единства, то семинар пройдет или в четверг 6 ноября, или в пятницу 7 ноября, день, время , тема и докладчик будут объявлены заранее.