Математические вопросы проектирования СБИС (Архив) — различия между версиями

Текущая версия на 22:18, 18 сентября 2024

архив докладов за прошлые семестры

Содержание

1 Весна 2024 года
2 Осень 2023 года
3 Весна 2023 года
4 Весна 2022 года
5 Осень 2021 года
6 Весна 2021 года
7 Осень 2020 года
8 Весна 2019 года
9 Осень 2018 года
10 Весна 2018 года
11 Осень 2017 года
12 Весна 2017 года
13 Осень 2016 года
14 Весна 2016 года
15 Осень 2015 года
16 Весна 2015 года
17 Осень 2014 года
18 Весна 2014 года
19 Осень 2013 года
20 Весна 2013 года
21 Осень 2012 года
22 Весна 2012 года
23 Осень 2011 года
24 Весна 2011 года
25 Осень 2010 года
26 Весна 2010 года
27 Осень 2009 года
28 Осень 2008 года
29 Весна 2008 года
30 Осень 2007 года
31 Руководители

Весна 2024 года

Дата	Тема доклада	Докладчик
22 февраля	Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)^{Аннотация доклада}	Шухман Алексей
29 февраля	Доклад по теме «Методы решения задачи поиска функциональных соответствий»^{Аннотация доклада}	Федоренко Илья
7, 14 марта	Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)^{Аннотация доклада}	Михалев Евгений
21 марта	Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)^{Аннотация доклада}	Кленин Максим
28 марта	Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»^{Аннотация доклада}	Фаизов Алексей
5 апреля	Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»^{Аннотация доклада}	Сергеев Максим
11 апреля	Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»^{Аннотация доклада}	С.А.Ложкин и М.С.Шуплецов
18 апреля	Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»^{Аннотация доклада}	Башмаков Михаил

Осень 2023 года

Дата	Тема доклада	Докладчик
4 октября	Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»^{Аннотация доклада}	Соколов Михаил
11 октября	Доклад по теме «Алгоритмы логического синтеза инверсных графов»^{Аннотация доклада}	Гребенкин Сергей
18 октября	Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69^{Аннотация доклада}	Кленин Максим
25 октября	Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»^{Аннотация доклада}	Михалев Евгений
1 ноября	Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ^{Расписание секции}
8 ноября	Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»^{Аннотация доклада}	Дарья Есипова
22 ноября	Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112^{Аннотация доклада}	Столетний Александр
29 ноября	Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48^{Аннотация доклада}	Соколов Михаил
6 декабря	Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»^{Аннотация доклада}	Фаизов Алексей
13 декабря	Доклад по теме «Поиск функциональных соответствий для схем из функциональных элементов при наличии не всюду определенных наборов»^{Аннотация доклада}	Фурса Даниил

Весна 2023 года

Дата	Тема доклада	Докладчик
10 октября	Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»^{Аннотация доклада}	Козин Георгий
17 октября	Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»^{Аннотация доклада}	Исаков Ильяс
24 октября	Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»^{Аннотация доклада}	Местецкий Михаил
7 ноября	Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»^{Аннотация доклада}	Фесенко Анастасия
14 ноября	Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»	Фесенко Анастасия
21 ноября	Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»^{Аннотация доклада}	Романов Дмитрий
28 ноября	Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»^{Аннотация доклада}	Синенкова Анна
5 декабря	Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»^{Аннотация доклада}	Романов Дмитрий
12 декабря	Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»^{Аннотация доклада}	Гребенкин Сергей
7 марта	Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»^{Аннотация доклада}	Михалев Евгений
14 марта	Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»^{Аннотация доклада}	Кленин Максим
21 марта	Доклад по теме «Алгоритмы построения заполняющих топологий»^{Аннотация доклада}	Есипова Дарья
28 марта	Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»^{Аннотация доклада}	Соколов Михаил
4 апреля	Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»^{Аннотация доклада}	Козин Георгий

Весна 2022 года

Дата	Тема доклада	Докладчик
26 февраля	Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»^{Аннотация доклада}	Сагандыков Жандос
5 марта	Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»^{Аннотация доклада}	Купраш Екатерина
12 марта	Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.^{Статья, Аннотация доклада}	Мальцев Александр
19 марта	Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»^{Аннотация доклада}	Хомич Павел
26 марта	Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»^{Аннотация доклада}	Белашкин И.А.
2 апреля	Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»^{Аннотация доклада}	Белашкин И.А.
9 апреля	Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»^{Аннотация доклада}	Зинкин Егор
1 октября	Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»^{Аннотация доклада}	Михаил Лопунов
15 октября	Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»^{Аннотация доклада}	Зизов Вадим
22 октября	Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»^{Аннотация доклада}	Купраш Екатерина
19 ноября	Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»^{Аннотация доклада}	Любич И.Г
26 ноября	Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»^{Аннотация доклада}	Антюфеев Г.В.
10 декабря	Доклад по статье «Коммуникационная сложность универсального отношения»^{Аннотация доклада}	Белашкин И.А.
17 декабря	Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»^{Аннотация доклада}	Местецкий Михаил
4 марта	Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»^{Аннотация доклада}	Демиденко Александр
18 марта	Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»^{Аннотация доклада}	Ступин Роман
25 марта	Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»^{Аннотация доклада}	Исаков Ильяс
1 апреля	Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»^{Аннотация доклада}	Синенкова Анна
8 апреля	Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»^{Аннотация доклада}	Тамерлан Еркибаев
15 апреля	Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»^{Аннотация доклада}	Фесенко Анастасия

Осень 2021 года

Дата	Тема доклада	Докладчик
9 октября	Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»^{Аннотация доклада}	Лопунов М.А.
16 октября	Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»^{Аннотация доклада}	Зизов В.С.
30 октября	Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»^{Аннотация доклада}	Хзмалян Д.Э.
13 ноября	Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»^{Аннотация доклада}	Коноводов В.А.
20 ноября	Доклад по первой части работы К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.^{Аннотация доклада}	Мальцев А.Н.
27 ноября	Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».^{Аннотация доклада}	Попков К.А. (ИПМ им. М.В. Келдыша РАН)
4 декабря	Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».^{Аннотация доклада}	М.С.Шуплецов, В.В.Жуков
11 декабря	Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).^{Аннотация доклада}	Н.В.Пименов

Весна 2021 года

Дата	Тема доклада	Докладчик
9 октября	Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»^{Аннотация доклада}	Лопунов М.А.
16 октября	Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»^{Аннотация доклада}	Зизов В.С.
30 октября	Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»^{Аннотация доклада}	Хзмалян Д.Э.
13 ноября	Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»^{Аннотация доклада}	Коноводов В.А.
20 ноября	Доклад по первой части работы К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.^{Аннотация доклада}	Мальцев А.Н.
27 ноября	Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».^{Аннотация доклада}	Попков К.А. (ИПМ им. М.В. Келдыша РАН)
4 декабря	Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».^{Аннотация доклада}	М.С.Шуплецов, В.В.Жуков
11 декабря	Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).^{Аннотация доклада}	Н.В.Пименов

Осень 2020 года

Дата	Тема доклада	Докладчик
27 сентября	Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»^{Аннотация доклада}	Хзмалян Д.Э.
11 октября	Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)^{Аннотация доклада}	Лопунов М.А.
18 октября	Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»^{Аннотация доклада}	Зизов В.
25 октября	Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»^{Аннотация доклада}	Ибрагимов Б.М.
8 ноября	доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»^{Аннотация доклада}	проф. Ложкин С.А.
15 ноября		проф. Ложкин С.А.
22 ноября	Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)^{Аннотация доклада}	Купраш Е.
13 декабря	Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»^{Аннотация доклада}	доцент кафедры МАТИС механико-математического факультета Часовских А.А.
21 февраля	Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»^{Аннотация доклада}	Мальцев А.Н.
28 февраля	Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»^{Аннотация доклада}	Пименов Н.В.

Весна 2019 года

Дата	Тема доклада	Докладчик
22 февраля	Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»^{Аннотация доклада}	Купраш Е.Д.
1 марта	Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»^{Аннотация доклада}	Жуков В.В.
15 марта	Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)^{Аннотация доклада}	Лопунов М.А.
22 марта	Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)^{Аннотация доклада}	Пименов Н.В.
29 марта		Пименов Н.В.
5 апреля	Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)^{Аннотация доклада}	Омарова М.М.
12 апреля	Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»^{Аннотация доклада}	Хзмалян Д.Э.
19 апреля	Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
17 мая	Выступления студентов 3 и 5 курсов с курсовыми работами

Осень 2018 года

Дата	Тема доклада	Докладчик
21 сентября	Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»^{Аннотация доклада}	Хзмалян Д.Э.
28 сентября	Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»^{Аннотация доклада}	Мальцев А.Н.
5 октября	Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»^{Аннотация доклада}	Титов В.А.
12 октября	Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС
12 октября	«Нижняя оценка энергопотребления для одного класса объёмных схем»	Ефимов Алексей Андреевич
19 октября	Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»^{Аннотация доклада}	Кинжикеева Д.С.
26 октября	Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»^{Аннотация доклада}	Красильникова А.А.
2 ноября		Красильникова А.А.
9 ноября
9 ноября	Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)	Александрова Н.Е.
16 ноября	Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС
16 ноября	Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»^{Аннотация доклада}	Высоцкий Л.И.
23 ноября	Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»^{Аннотация доклада}	Панчул Юрий Владимирович
7 декабря	Совместно с семинаром Актуальные математические задачи, связанные с проектированием СБИС
7 декабря	Доклад по теме «О сложности многослойных клеточных схем»^{Аннотация доклада}	Калачев Г.В., Сытдыков Т.Р.

Весна 2018 года

Дата	Тема доклада	Докладчик
06 апреля
06 апреля	Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов»	Высоцкий Л. И., Жуков В. В.
23 марта
23 марта	Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627).	Курбацкая В.К.
16 марта
16 марта	Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с.	Мальцев А.Н.
2 марта
2 марта	Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем".	Хзмолян Д.Э.

Осень 2017 года

Дата	Тема доклада	Докладчик
22 сентября
22 сентября	Доклад «Cинтез рекурсивных схем из функциональных элементов»	Жуков В.В.
29 сентября
29 сентября	Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»	Курбацкая В.К.
6 октября
6 октября	Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»	Высоцкий Л.И.
20 октября	Совместно с семинаром Некоторые вопросы теории управляющих систем
20 октября	О динамической активности схем из функциональных элементов.	Шуплецов М.С.
27 октября	Совместно с семинаром Некоторые вопросы теории управляющих систем
27 октября	Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". ^{Аннотация доклада}	Автайкина Мария
3 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
3 ноября	Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". ^{Аннотация доклада}	В. К. Курбацкая
11 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
11 ноября	Доклад "О глубине ступенчатых функций".	Д. С. Кинжикеева
17 ноября
17 ноября	Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»	Павлова А.Ф.
24 ноября
24 ноября	Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»	Крюков Павел

Весна 2017 года

Дата	Тема доклада	Докладчик
21 апреля	Совместно с семинаром Некоторые вопросы теории управляющих систем
21 апреля	Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
14 апреля	Совместно с семинаром Некоторые вопросы теории управляющих систем
14 апреля	Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»	Зиновьев В.С.
7 апреля	Совместно с семинаром Некоторые вопросы теории управляющих систем
7 апреля	Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»	Жуков В.В.
17 марта	Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.^{Аннотация доклада}	Трубицын Ю.А.
17 февраля	Совместно с семинаром Некоторые вопросы теории управляющих систем
17 февраля	Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»	Кинжикеева Д.
3 марта	Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»^{Аннотация доклада}	Высоцкий Л.И.
31 марта	Совместно с семинаром Некоторые вопросы теории управляющих систем
31 марта	Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»^{Аннотация доклада}	Смирнов М.Е.

Осень 2016 года

Дата	Тема доклада	Докладчик
23 сентября	Совместно с семинаром Некоторые вопросы теории управляющих систем
23 сентября	Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" ^{Аннотация доклада}	Жуков В.В.
30 сентября	Нижняя оценка мощности плоских схем, реализующих булевы операторы ^{Аннотация доклада}	Калачев Г.В.
7 октября	Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" ^{Аннотация доклада}	Чемоданова О.М.
14 октября	Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" ^{Аннотация доклада}	Любич И.Г.
21 октября	Доклад "Синтез обратимых схем без дополнительной памяти" ^{Аннотация доклада}	Закаблуков Д.В.
28 октября	Доклад "О глубине мультиплексорной функции" ^{Аннотация доклада}	Титов В.А.
11 ноября	Окончание доклада "О глубине мультиплексорной функции" ^{Аннотация доклада}	Титов В.А.
18 ноября	Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" ^{Аннотация доклада}	Довгалюк Е.Л.
25 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
25 ноября	Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" ^{Аннотация доклада}	Тамм Я.-М.Ю.
2 декабря	Совместно с семинаром Некоторые вопросы теории управляющих систем
2 декабря	Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" ^{Аннотация доклада}	Уваров И.В.
9 декабря	Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов". ^{Аннотация доклада}	Шишков И.С.

Весна 2016 года

Дата	Тема доклада	Докладчик
19 февраля	Совместно с семинаром Некоторые вопросы теории управляющих систем
19 февраля	Доклад по статье Храпченко В.М. "Глубина и задержка схемы" ^{Аннотация доклада}	Зиновьев В.С.
26 февраля	Совместно с семинаром Некоторые вопросы теории управляющих систем
26 февраля	Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". ^{Аннотация доклада}	Смирной Максим
4 марта	Совместно с семинаром Некоторые вопросы теории управляющих систем
4 марта	Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". ^{Аннотация доклада}	Вяткин Евгений
11 марта	Синтез контактных схем ограниченной ширины. ^{Аннотация доклада}	Бежовец А.В.
18 марта	Об асимптотических оценках сложности константных схем заданной степени. ^{Аннотация доклада}	Павлов А.В.
25 марта	Совместно с семинаром Некоторые вопросы теории управляющих систем
25 марта	Доклад «Cadence design systems: основные тренды в индустрии». ^{Аннотация доклада}	Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
1 апреля	Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"	Курбацкая В.К.
8 апреля	Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". ^{Аннотация доклада}	Кухтинов А.С.
15 апреля	Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами».	Высоцкий Л.И.
22 апреля	Совместно с семинаром Некоторые вопросы теории управляющих систем (Ауд. 526б)
22 апреля	Автоматизация проектирования электронных устройств ^{Аннотация доклада}	Семинар компании Cadence design systems.
29 апреля	Совместно с семинаром Некоторые вопросы теории управляющих систем
29 апреля	Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».	Калинина А.Н.
6 мая	Совместно с семинаром Некоторые вопросы теории управляющих систем
6 мая	Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".	Шишков Илья Сергеевич

Осень 2015 года

Дата	Тема доклада	Докладчик
9 октября	Синтез и сложность универсальных схем контактного типа с разделёнными полюсами	Зиновьев В. С.
16 октября	Синтез и сложность дешифраторных схем контактного типа	Добровецкий Д. И.
23 октября	Совместно с семинаром Некоторые вопросы теории управляющих систем
23 октября	New bounds on Klarner's constant	Gill Barequet, Dept. of Computer Science, Technion
30 октября	О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. ^{Аннотация доклада}	Довгалюк Е. Л.
6 ноября	Об одной модели рекурсивных схем из функциональных элементов. ^{Аннотация доклада}	Фивейский С.В.
13 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
13 ноября	Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".	Мария Автайкина
20 ноября	Совместно с семинаром Некоторые вопросы теории управляющих систем
20 ноября	Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015". 1. http://www.iccad.com (конференция) 2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование) 3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)	Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
27 ноября	Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" ^{Аннотация доклада}	Кухтинов А.С.
4 декабря	Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"	Шуплецов М.С.
11 декабря	Совместно с семинаром Некоторые вопросы теории управляющих систем
11 декабря	Доклад "Маршрут физического проектирования систем на кристалле"	Евгений Зенин

Весна 2015 года

Дата	Тема доклада	Докладчик
20 февраля	Доклад по статье Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".	Смирнов А. А.
27 февраля	Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"	Сальников В. А.
13 марта	О динамической активности мультиплексорной функции	Кулешов О. В.
27 марта	Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [1]	Тамм Я.-М. Ю.
3 апреля	Использования методов логического синтеза для ускорения решения задач верификации схем [2]	Павлов А. В.
10 апреля	О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [3]	Пузачев Д. С.
24 апреля	Представление студентами 4 и 5 курсов своих выпускных квалификационных работ

Осень 2014 года

Дата	Тема доклада	Докладчик
3 октября	Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"	Зиновьев В. С.
10 октября	Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"	Зиновьев В. С.
17 октября	Тесты для булевых функций относительно вытесняющих неисправностей	Морозов Е. В.
24 октября	Комбинаторика и сложность случайных булевых формул	Коноводов В. А.
31 октября	Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" ^{аннотация докдада}	Раннев Е. К.
7 ноября	Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)	Шуплецов М. С.
14 ноября	О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов ^{аннотация докдада}	Романов Д. С.
21 ноября	Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» ^{Данные о статье}	Довгалюк Е. Л.
28 ноября	Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»	Белышов М. В.
5 декабря	Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" ^{Данные о статье}	Кумар В.
12 декабря	Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа	Кортунова Е. М.
19 декабря	Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» .	Ложкин С. А., Шуплецов М. С.

Весна 2014 года

Дата	Тема доклада	Докладчик
21 февраля	Сверхполиномиальная нижняя оценка монотонной сложности функции клики ^{Аннотация доклада, Презентация}	Довгалюк Е. Л.
28 февраля	Метод Нечипорука и примеры его применения ^{Аннотация доклада}	Кулешов О. В.
14 марта	О минимальных π-схемах для монотонных симметрических функций с порогом 2 ^{Аннотация доклада}	Ложкин С. А.
21 марта		Ложкин С. А.
28 марта	О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам ^{Аннотация доклада}	Данилов Б. Р.
4 апреля	Некоторые обобщения теоремы Храпченко и примеры их применений ^{Аннотация доклада}	Раннев Е. К.
11 апреля	Доклад по статье Kewal K. Saluja, Sudhakar M. Reddy, "On minimally testable logic networks".	Кумар В.
18 апреля	Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»	Доленко О. С.
25 апреля	Исследование влияния структурных параметров на результаты синтеза цифровых схем	Кортунова Е. Н.
16 мая	Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"	Чеховская Е. Н.

Осень 2013 года

Дата	Тема доклада	Докладчик
20 сентября	О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах ^{Аннотация доклада}	Белышов М. В.
27 сентября	О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции ^{Аннотация доклада}	Довгалюк Е. Л.
4 октября	Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности ^{Аннотация доклада}	Белышов М. В.
11 октября	О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными ^{Аннотация доклада}	Коноводов В. А.
18 октября	Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем ^{Аннотация доклада}	Кортунова Е. М.
25 октября	Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" ^{Аннотация доклада}	Жукова А. А.
1 ноября	Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами"	Кулешов О. В.
8 ноября	О тестах относительно множественных линейных слипаний переменных в булевых функциях^{Аннотация доклада}	Морозов Е. В.
15 ноября	Доклад по статье Мадатяна Х. А. "Синтез контактных схем ограниченной ширины"	Тренкунов А. В.
22 ноября	Доклад по статье Коршунова А. Д. "Об асимптотических оценках сложности контактных схем заданной степени"^{Аннотация доклада}	Чеховская Е. Н.
29 ноября	Доклад по статье Кузьмина В. А. "Реализация функций алгебры логики автоматами, нормальными алгорифмами и машинами Тьюринга"^{Аннотация доклада}	Кумар В.
6 декабря	Автоматная сложность булевых функций из классов Поста	Кибкало М. А.
13 декабря	Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»	Доленко О. С.

Весна 2013 года

Дата	Тема доклада	Докладчик
22 февраля	О сложности реализации булевых функций из некоторых классов, связанных с конечными грамматиками, формулами глубины альтернирования 3 ^{Аннотация доклада}	Коноводов В.А.
1 марта	О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе	Романов Д.С.
15 марта	Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»	Доленко О.С.
22 марта	Доклад по статье Хахулина В.Г. «О проверяющих тестах для счетчика четности»	Жукова А.А.
29 марта	Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в P_k»^{Аннотация доклада}	Чеховская Е.Н.
5 апреля	Доклад по статье Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»	Тренкунов А.В.
12 апреля	Доклад по статье Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»	Морозов Е.В.
19 апреля	О тестах относительно примитивных сдвигов переменных в булевых функциях^{Аннотация доклада}	Антюфеев Г. В.
26 апреля	Доклад по статье Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»	Плоткина Ю. С.
17 мая	Доклады студентов 5 курса по дипломным работам.

Осень 2012 года

Дата	Тема доклада	Докладчик
28 сентября	Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." ^{Выходные данные}	Плоткина Ю.С.
5 октября	О сложности мультиплексорной функции в классе схем из функциональных элементов ^{Аннотация доклада}	Власов Н.В.
12 октября	Алгоритмы для нахождения автоморфизмов больших разреженных графов ^{Аннотация доклада}	Марков И. Л. (Мичиганский университет, США)
19 октября	Доклад по статье N. Blum «A boolean function requiring 3n network size» ^Статья	Богомолова Е. М.
26 октября	Активность схем из функциональных элементов ^{Аннотация доклада}	Доленко О. С.
2 ноября	Активность схем из функциональных элементов(окончание доклада)	Доленко О. С.
9 ноября	Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»^{Аннотация доклада}	Морозов Е. В.
16 ноября	Минимизация пересечений линий (веток метро) на картах метро^{Аннотация доклада}	Кунаков М. А.
23 ноября	Об одном методе получения более чем квадратичных эффективных нижних оценок сложности $\pi$ -схем ^{Аннотация доклада}	Коноводов В. А.
30 ноября	Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка ^{Аннотация доклада}	Кривошеин Д. Ю.
7 декабря	Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов ^{Ссылка на автореферат диссертации}	Талалай М. С.
14 декабря	Инверсная сложность булевых функций^{Аннотация доклада}	Морозов Е. В.

Весна 2012 года

Дата	Тема доклада	Докладчик
24 февраля	Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» ^{Аннотация доклада}	Богомолова Е. М.
2 марта	Доклад по статье A. Genitrini, B. Gittenberger «No Shannon effect on probability distributions on Boolean functions induced by random expressions» ^{Аннотация доклада}	Яблонская А.Ю.
11 марта	Доклад по статье Шуткина Ю.С. «Синтез информационных графов для предполных классов булевых функций» ^{Аннотация доклада}	Валиев Т.Р.
16 марта	О синтезе и сложности формул с ограниченной глубиной альтернирования ^{Аннотация доклада}	Коноводов В.А.
23 марта	Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»	Коразбаев К.Ж.
30 марта	О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью	Коноводов В.А.
6 апреля	Доклад по статье Й. Денева «Об одной функции, сложно реализуемой методом каскадов»	Егоров А.В.
13 апреля	Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС ^{Аннотация доклада}	Кривошеин Д.Ю.
20 апреля	О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)^{Аннотация доклада}	Блинов С.В.
27 апреля	Доклад по статье Ю.В.Бородиной "Синтез легкотестируемых схем в базисе $\{\And,\vee,\neg\}$ для систем булевых функций"	Морозов Е.В.
4 мая	Доклады студентов 5 курса по дипломным работам	Коноводов В.А.
4 мая	Доклады студентов 5 курса по дипломным работам	Богомолова Е.М.
11 мая	Доклады студентов 5 курса по дипломным работам	Морозов Е.В.
11 мая	Доклады студентов 5 курса по дипломным работам	Цимбалов С.Е.

Осень 2011 года

Дата	Тема доклада	Докладчик
30 сентября	Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» ^{Аннотация доклада}	Борис Данилов
7 октября	Модификация метода Лупанова с более равномерным распределением исходящих дуг. ^{Ссылка на статью}	Ложкин С. А.
14 октября	О глубине мультиплексорной функции ^{Аннотация доклада}	Никита Власов
21 октября	Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» ^{Ссылка на статью}	Александра Яблонская
28 октября	Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» ^{Ссылка на статью}	Дмитрий Кривошеин
11 ноября	Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» ^{Ссылка на статью}	Сергей Цимбалов
18 ноября	Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» ^{Данные о статье}	Евгений Морозов
25 ноября	Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов»	Олег Садовников
2 декабря	Проблемы полноты и выразимости в пространствах дискретных функций	Парватов Н. Г. (Томск)
9 декабря	О надежности неветвящихся программ с оператором условной остановки.	Грабовская С. М. (Пенза)
16 декабря	Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» ^{Данные о статье}	Богомолова Е. М.

Весна 2011 года

Дата	Тема доклада	Докладчик
25 февраля	Логический синтез топологически регулярных схем на транзисторных шаблонах ^{Аннотация доклада}	Михаил Талалай
4 марта	Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» ^{Аннотация к статье}	Владимир Лысиков
11 марта	Верификация структурных моделей цифровых схем ^{Аннотация доклада}	Александр Готманов
25 марта		Александр Готманов
1 апреля	Доклад по статье Н.П. Редькина «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций»	Олег Снегирев
8 апреля	Доклад по статье N. Blum, M. Seysen «Characterization of all optimal networks for a simultaneous computation of AND and NOR»	Владимир Коноводов
15 апреля	Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»^{Аннотация доклада}	Юрий Копачевский
22 апреля	Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» ^{Аннотация доклада}	Никита Власов
29 апреля	Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» ^{Аннотация доклада}	Борис Данилов
6 мая	Доклады по магистерским диссертациям	Дмитрий Кривошеин
6 мая	Доклады по магистерским диссертациям	Григорий Антюфеев

Осень 2010 года

Дата	Тема доклада	Докладчик
1 октября	О глубине мультиплексорной функции ^{Аннотация доклада}	Власов Н.В.
8 октября	Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях ^{Аннотация доклада}	Данилов Б.Р.
15 октября	Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа.	Шуплецов М.С.
22 октября	Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors.	Садовников О.А.
29 октября	Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.^{Аннотация доклада}	Улесова А.Ю.
12 ноября	О сложности реализации частичных булевых функций схемами из функциональных элементов.^{Аннотация доклада}	Блинов С.В.
19 ноября	Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.^{Аннотация доклада}	Власов Н.В.
26 ноября	Алгоритм сжатия для невыпуклых многоугольников и его приложения	Кривошеин Д.Ю.
26 ноября	Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности.	Жмурин А.В.
3 декабря	Некоторые свойства невырожденных суперпозиций в Pk^{Аннотация доклада}	Садовников О.А.
10 декабря	Решение задачи о клике сведением к задаче с DC ограничением	Цимбалов С.Е.
17 декабря	Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"^{Аннотация доклада}	Антюфеев Г.В.

Весна 2010 года

Дата	Тема доклада	Докладчик
26 февраля	Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций"	Власов Н.В.
5 марта	Об одной модели схем из функциональных элементов с задержками ^{Аннотация доклада}	Данилов Б.Р.
12 марта		Данилов Б.Р.
19 марта	О полноте и замкнутых классах ФАЛ с прямыми и итеративными переменными ^{Аннотация доклада}	Улесова А.Ю.
2 апреля	Фотолитография: современное состояние и САПР	Мелик-Адамян А.
9 апреля	Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты	Шиганов А.Е.
16 апреля		Шиганов А.Е.
23 апреля	Об автоматной модели преследования	Волков Н.Ю.
30 апреля	Оценка перегруженности трассировки с использованием вероятностного анализа	Антюфеев Г.В.
30 апреля	Инкрементальный алгоритм вычисления кратчайших путей в разреженном графе	Кривошеин Д.Ю.
7 мая	Доклады студентов 5 курса по дипломным работам	Улесова А.Ю., Садовников О.А., Мордасова М.С., Перегуда А.Д.

Осень 2009 года

Дата	Тема доклада	Докладчик
25 сентября	Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты ^{Аннотация доклада}	Шиганов Александр
2 октября	О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты ^{Аннотация доклада}	Шиганов Александр
9 октября	О сложности мультиплексорной функции в классе π-схем ^{Аннотация доклада}	Ложкин С.А., Власов Никита
16 октября	Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов	Каграманян Э.Р.
23 октября	Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб ^{Аннотация доклада}	Садовников О.А.
30 октября	Об одной модели рекурсивных схем из функциональных элементов ^{Аннотация доклада}	Данилов Б.Р.
6 ноября	Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»	Морозов Е.В.
13 ноября	Поиск кратчайших путей в графах (обзор статей) ^{Аннотация доклада}	Кривошеин Д.Ю.
20 ноября	Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника»	Улесова А.Ю.
27 ноября	Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС ^{Аннотация доклада}	Мелик-Адамян А.Ф.
4 декабря	Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского

Осень 2008 года

Дата	Тема доклада	Докладчик
3 Октября	Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий	Арег Мелик-Адамян (ИТМиВТ РАН)
31 Октября	Выбор оптимальных параметров в задачах с многими критериями	Арег Мелик-Адамян (ИТМиВТ РАН)
14 Ноября	Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric"	Мордасова М.С.
12 Декабря	Методы разрешения положительных циклов в графе ограничений	Сергей Локинский

Весна 2008 года

Дата	Тема доклада	Докладчик
26 февраля	Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур	Хапаев М.М.
11 марта	Использование разложения Гильберта при построении схем из функциональных элементов ^слайды	Долотова Н.С.
25 марта	Аналитический подход к легализации размещения стандартных ячеек	Аюпов А.Б.
8 апреля	Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС	Локинский С.Н.
29 апреля	Структуры данных для хранения и поиска объектов в пространстве	Западинский Анатолий

Осень 2007 года

Дата	Тема доклада	Докладчик
5 октября	Применение целочисленного линейного программирования в трассировке схем ^{реферат}	Западинский Анатолий
9 ноября	Совместно с семинаром Дискретная математика и математическая кибернетика
9 ноября	Прикладные математические задачи САПР СБИС^слайды	Марченко А. М.
30 ноября	Регулярность в проектировании СБИС на примере регулярных логических блоков^слайды и FPGA^слайды	Западинский Анатолий Шуплецов Михаил
14 декабря	Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе.	Попов Евгений

Руководители

@@ Строка 1: / Строка 1: @@
-== Осень 2007 года ==
+{| width="98%"
+| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
+|}
+[[Категория:Спецсеминары кафедры математической кибернетики]]
+== Весна 2024 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
 ! Тема доклада
 ! Докладчик
 |-
-| 5 октября
+| align="center" | 22 февраля
-| Применение целочисленного линейного программирования в трассировке схем  <sup>[[Media:Zapadinsky07.pdf|реферат]]</sup>
+| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup>
-| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
+| align="center" | Шухман Алексей
 |-
-| rowspan="2" | 9 ноября
+| align="center" | 29 февраля
-| colspan="2" align="center" | Совместно с семинаром [[Дискретная математика и математическая кибернетика]]
+| Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup>
-|-
+| align="center" | Федоренко Илья
-|  Прикладные математические задачи САПР СБИС<sup>[[Media:Marchenko-14-11-07.ppt|слайды]]</sup>
+|-
-| [[Марченко Александр Михайлович|Марченко А. М.]]
+| align="center" | 7, 14 марта
-|-
+| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup>
-| 30 ноября
+| align="center" | Михалев Евгений
-| Регулярность в проектировании СБИС на примере регулярных логических блоков<sup>[[Media:Shupletsov1.ppt|слайды]]</sup> и FPGA<sup>[[Media:Zapadinsky-30.11.07.pdf|слайды]]</sup>
+|-
-| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]] <br /> [[Аспиранты кафедры математической кибернетики|Шуплецов Михаил]]
+| align="center" | 21 марта
-|-
+| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup>
-| 14 декабря
+| align="center" | Кленин Максим
-| Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе.
+|-
-| Попов Евгений
+| align="center" | 28 марта
+| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup>
+| align="center" | Фаизов Алексей
+|-
+| align="center" | 5 апреля
+| Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup>
+| align="center" | Сергеев Максим
+|-
+| align="center" | 11 апреля
+| Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup>
+| align="center" | С.А.Ложкин и М.С.Шуплецов
+|-
+| align="center" | 18 апреля
+| Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup>
+| align="center" | Башмаков Михаил
+|-
 |}
-== Весна 2008 года ==
+== Осень 2023 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
 ! Тема доклада
 ! Докладчик
-|-
-| 26 февраля
-| Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур
-| Хапаев М.М.
 |-
-| 11 марта
+| align="center" | 4 октября
-| Использование разложения Гильберта при построении схем из функциональных элементов <sup>[[Media:Dolotova08.pdf|слайды]]</sup>
+| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup>
-| Долотова Н.С.
+| align="center" | Соколов Михаил
 |-
-| 25 марта
+| align="center" | 11 октября
-| Аналитический подход к легализации размещения стандартных ячеек
+| Доклад по теме «Алгоритмы логического синтеза инверсных графов»<sup>[[Media:Specem_231011.pdf|Аннотация доклада]]</sup>
-| Аюпов А.Б.
+| align="center" | Гребенкин Сергей
 |-
-| 8 апреля
+| align="center" | 18 октября
-| Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС
+| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69<sup>[[Media:Specsem20231018.pdf|Аннотация доклада]]</sup>
-| Локинский С.Н.
+| align="center" | Кленин Максим
 |-
-| 29 апреля
+| align="center" | 25 октября
-| Структуры данных для хранения и поиска объектов в пространстве
+| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»<sup>[[Media:Specsem20231024.pdf|Аннотация доклада]]</sup>
-| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
+| align="center" | Михалев Евгений
+|-
+| align="center" | 1 ноября
+| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ<sup>[[Media:Specsem20231101.pdf|Расписание секции]]
+|-
+| align="center" | 8 ноября
+| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»<sup>[[Media:Specsem20231108.pdf|Аннотация доклада]]</sup>
+| align="center" | Дарья Есипова
+|-
+| align="center" | 22 ноября
+| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112<sup>[[Media:Specsem20231122.pdf|Аннотация доклада]]</sup>
+| align="center" | Столетний Александр
+|-
+| align="center" | 29 ноября
+| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48<sup>[[Media:Specsem20231129.pdf|Аннотация доклада]]</sup>
+| align="center" | Соколов Михаил
+|-
+| align="center" | 6 декабря
+| Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»<sup>[[Media:Specsem20231206.pdf|Аннотация доклада]]</sup>
+| align="center" | Фаизов Алексей
+|-
+| align="center" | 13 декабря
+| Доклад по теме «Поиск функциональных соответствий для схем из функциональных элементов при наличии не всюду определенных наборов»<sup>[[Media:Specsem20231213.pdf|Аннотация доклада]]</sup>
+| align="center" | Фурса Даниил
 |}
-== Осень 2008 года ==
+== Весна 2023 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
 ! Тема доклада
 ! Докладчик
 |-
-| 3 Октября
+| align="center" | 10 октября
-| Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий
+| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup>
-| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
+| align="center" | Козин Георгий
 |-
-| 31 Октября
+| align="center" | 17 октября
-| Выбор оптимальных параметров в задачах с многими критериями
+| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup>
-| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
+| align="center" | Исаков Ильяс
 |-
-| 14 Ноября
+| align="center" | 24 октября
-| Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric"
+| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup>
-| [[Студенты кафедры математической кибернетики | Мордасова М.С.]]
+| align="center" | Местецкий Михаил
 |-
-| 12 Декабря
+| align="center" | 7 ноября
-| Методы разрешения положительных циклов в графе ограничений
+| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup>
-| Сергей Локинский
+| align="center" | Фесенко Анастасия
+|-
+| align="center" | 14 ноября
+| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
+| align="center" | Фесенко Анастасия
+|-
+| align="center" | 21 ноября
+| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup>
+| align="center" | Романов Дмитрий
+|-
+| align="center" | 28 ноября
+| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup>
+| align="center" | Синенкова Анна
+|-
+| align="center" | 5 декабря
+| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup>
+| align="center" | Романов Дмитрий
+|-
+| align="center" | 12 декабря
+| Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»<sup>[[Media:Specsem221211.pdf|Аннотация доклада]]</sup>
+| align="center" | Гребенкин Сергей
+|-
+| align="center" | 7 марта
+| Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»<sup>[[Media:Specsem230307.pdf|Аннотация доклада]]</sup>
+| align="center" | Михалев Евгений
+|-
+| align="center" | 14 марта
+| Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»<sup>[[Media:Specsem230314.pdf|Аннотация доклада]]</sup>
+| align="center" | Кленин Максим
+|-
+| align="center" | 21 марта
+| Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup>
+| align="center" | Есипова Дарья
+|-
+| align="center" | 28 марта
+| Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»<sup>[[Media:Specem28032023.pdf|Аннотация доклада]]</sup>
+| align="center" | Соколов Михаил
+|-
+| align="center" | 4 апреля
+| Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»<sup>[[Media:Specsem20230404.pdf|Аннотация доклада]]</sup>
+| align="center" | Козин Георгий
+|}
+== Весна 2022 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| align="center" | 26 февраля
+| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup>
+| align="center" | Сагандыков Жандос
+|-
+| align="center" | 5 марта
+| Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»<sup>[[Media:Specem_210305.pdf|Аннотация доклада]]</sup>
+| align="center" | Купраш Екатерина
+|-
+| align="center" | 12 марта
+| Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.<sup>[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]], [[Media:Specem_210312.pdf|Аннотация доклада]]</sup>
+| align="center" | Мальцев Александр
+|-
+| align="center" | 19 марта
+| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup>
+| align="center" | Хомич Павел
+|-
+| align="center" | 26 марта
+| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup>
+| align="center" | Белашкин И.А.
+|-
+| align="center" | 2 апреля
+| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup>
+| align="center" | Белашкин И.А.
+|-
+| align="center" | 9 апреля
+| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup>
+| align="center" | Зинкин Егор
+|-
+| align="center" | 1 октября
+| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup>
+| align="center" | Михаил Лопунов
+|-
+| align="center" | 15 октября
+| Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup>
+| align="center" | Зизов Вадим
+|-
+| align="center" | 22 октября
+| Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup>
+| align="center" | Купраш Екатерина
+|-
+| align="center" | 19 ноября
+| Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup>
+| align="center" | Любич И.Г
+|-
+| align="center" | 26 ноября
+| Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup>
+| align="center" | Антюфеев Г.В.
+|-
+| align="center" | 10 декабря
+| Доклад по статье «Коммуникационная сложность универсального отношения»<sup>[[Media:Specem_211210.pdf|Аннотация доклада]]</sup>
+| align="center" | Белашкин И.А.
+|-
+| align="center" | 17 декабря
+| Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»<sup>[[Media:Specem_211217.pdf|Аннотация доклада]]</sup>
+| align="center" | Местецкий Михаил
+|-
+| align="center" | 4 марта
+| Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»<sup>[[Media:Specem_220304.pdf|Аннотация доклада]]</sup>
+| align="center" | Демиденко Александр
+|-
+| align="center" | 18 марта
+| Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»<sup>[[Media:Specem_220318.pdf|Аннотация доклада]]</sup>
+| align="center" | Ступин Роман
+|-
+| align="center" | 25 марта
+| Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»<sup>[[Media:Specem_220325.pdf|Аннотация доклада]]</sup>
+| align="center" | Исаков Ильяс
+|-
+| align="center" | 1 апреля
+| Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»<sup>[[Media:Specem_220401.pdf|Аннотация доклада]]</sup>
+| align="center" | Синенкова Анна
+|-
+| align="center" | 8 апреля
+| Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»<sup>[[Media:Specem_220408.pdf|Аннотация доклада]]</sup>
+| align="center" | Тамерлан Еркибаев
+|-
+| align="center" | 15 апреля
+| Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»<sup>[[Media:Specem_220415.pdf|Аннотация доклада]]</sup>
+| align="center" | Фесенко Анастасия
 |}
-== Осень 2009 года ==
+== Осень 2021 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
 ! Тема доклада
 ! Докладчик
-|-
-| 25 сентября
-| Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты <sup>[[Media:shiganov_annotation_25_09_09.pdf|Аннотация доклада]]</sup>
-| Шиганов Александр
 |-
-| 2 октября
+| align="center" | 9 октября
-| О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты <sup>[[Media:shiganov_02_10_09.pdf|Аннотация доклада]]</sup>
+| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup>
-| Шиганов Александр
+| align="center" | Лопунов М.А.
 |-
-| 9 октября
+| align="center" | 16 октября
-| О сложности мультиплексорной функции в классе π-схем <sup>[[Media:Lozhkin_Vlasov_09_10_09.pdf|Аннотация доклада]]</sup>
+| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup>
-| [[Ложкин Сергей Андреевич| Ложкин С.А.]], [[Аспиранты кафедры математической кибернетики|Власов Никита]]
+| align="center" | Зизов В.С.
 |-
-| 16 октября
+| align="center" | 30 октября
-| Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов
+| Доклад по статье  Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup>
-| Каграманян Э.Р.
+| align="center" | Хзмалян Д.Э.
 |-
-| 23 октября
+| align="center" | 13 ноября
-| Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб <sup>[[Media:Sadovnikov_23_10_09.pdf|Аннотация доклада]]</sup>
+| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup>
-| Садовников О.А.
+| align="center" | Коноводов В.А.
 |-
-| 30 октября
+| align="center" | 20 ноября
-| Об одной модели рекурсивных схем из функциональных элементов <sup>[[Media:Danilov_30_10_2009.pdf|Аннотация доклада]]</sup>
+| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup>
-| Данилов Б.Р.
+| align="center" | Мальцев А.Н.
 |-
-| 6 ноября
+| align="center" | 27 ноября
-| Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
+| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup>
-| Морозов Е.В.
+| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
 |-
-| 13 ноября
+| align="center" | 4 декабря
-| Поиск кратчайших путей в графах (обзор статей) <sup>[[Media:Krivoshein_13_11_09.pdf|Аннотация доклада]]</sup>
+| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup>
-| Кривошеин Д.Ю.
+| align="center" | М.С.Шуплецов, В.В.Жуков
 |-
-| 20 ноября
+| align="center" | 11 декабря
-| Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника»
+| Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup>
-| Улесова А.Ю.
+| align="center" | Н.В.Пименов
+|}
+== Весна 2021 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| align="center" | 9 октября
+| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup>
+| align="center" | Лопунов М.А.
 |-
-| 27 ноября
+| align="center" | 16 октября
-| Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС <sup>[[Media:Melik-Adamjan_27_11_09.pdf|Аннотация доклада]]</sup>
+| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup>
-| Мелик-Адамян А.Ф.
+| align="center" | Зизов В.С.
 |-
-| 4 декабря
+| align="center" | 30 октября
-| Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского
+| Доклад по статье  Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup>
-|
+| align="center" | Хзмалян Д.Э.
+|-
+| align="center" | 13 ноября
+| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup>
+| align="center" | Коноводов В.А.
+|-
+| align="center" | 20 ноября
+| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup>
+| align="center" | Мальцев А.Н.
+|-
+| align="center" | 27 ноября
+| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup>
+| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
+|-
+| align="center" | 4 декабря
+| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup>
+| align="center" | М.С.Шуплецов, В.В.Жуков
+|-
+| align="center" | 11 декабря
+| Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup>
+| align="center" | Н.В.Пименов
 |}
-== Весна 2010 года ==
+== Осень 2020 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
 ! Тема доклада
 ! Докладчик
-|-
-| align="center"|26 февраля
-| Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций"
-| Власов Н.В.
 |-
-| align="center"|5 марта
+| align="center" | 27 сентября
-| rowspan="2" |Об одной модели схем из функциональных элементов с задержками <sup>[[Media: Danilov_05_03_2010.pdf|Аннотация доклада]]</sup>
+| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specsem_190927.pdf|Аннотация доклада]]</sup>
-| rowspan="2" |Данилов Б.Р.
+| align="center" | Хзмалян Д.Э.
 |-
-| align="center"|12 марта
+| align="center" | 11 октября
+| Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup>
+| align="center" | Лопунов М.А.
 |-
-| align="center"|19 марта
+| align="center" | 18 октября
-| О полноте и замкнутых классах ФАЛ с прямыми и итеративными переменными <sup>[[Media: Ulesova_19_03_2010.pdf|Аннотация доклада]]</sup>
+| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup>
-| Улесова А.Ю.
+| align="center" | Зизов В.
 |-
-| align="center"|2 апреля
+| align="center" | 25 октября
-| Фотолитография: современное состояние и САПР
+| Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»<sup>[[Media:Specsem_191025.pdf|Аннотация доклада]]</sup>
-| Мелик-Адамян А.
+| align="center" | Ибрагимов Б.М.
 |-
-| align="center"|9 апреля
+| align="center" | 8 ноября
-| rowspan="2" |Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты
+| rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»<sup>[[Media:Specsem_191108.pdf|Аннотация доклада]]</sup>
-| rowspan="2" |Шиганов А.Е.
+| rowspan="2" align="center" | проф. Ложкин С.А.
 |-
-| align="center"|16 апреля
+| align="center" | 15 ноября
 |-
-| align="center"|23 апреля
+| align="center" | 22 ноября
-| Об автоматной модели преследования
+| Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)<sup>[[Media:Specsem_221119.pdf|Аннотация доклада]]</sup>
-| Волков Н.Ю.
+| align="center" | Купраш Е.
 |-
-| rowspan="2" align="center"|30 апреля
+| align="center" | 13 декабря
-| Оценка перегруженности трассировки с использованием вероятностного анализа
+| Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»<sup>[[Media:Specsem_191213.pdf|Аннотация доклада]]</sup>
-| Антюфеев Г.В.
+| align="center" | доцент кафедры МАТИС
+механико-математического факультета Часовских А.А.
 |-
-| Инкрементальный алгоритм вычисления кратчайших путей в разреженном графе
+| align="center" | 21 февраля
-| Кривошеин Д.Ю.
+| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_200221.pdf|Аннотация доклада]]</sup>
+| align="center" | Мальцев А.Н.
 |-
-| align="center"|7 мая
+| align="center" | 28 февраля
-| Доклады студентов 5 курса по дипломным работам
+| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:Specsem_200228.pdf|Аннотация доклада]]</sup>
-| Улесова А.Ю., <br />Садовников О.А.,<br /> Мордасова М.С.,<br /> Перегуда А.Д.
+| align="center" | Пименов Н.В.
 |}
-== Осень 2010 года ==
+== Весна 2019 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| align="center" | 22 февраля
+| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»<sup>[[Media:Specsem_190222.pdf|Аннотация доклада]]</sup>
+| align="center" | Купраш Е.Д.
+|-
+| align="center" | 1 марта
+| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»<sup>[[Media:Specsem_190301.pdf|Аннотация доклада]]</sup>
+| align="center" | Жуков В.В.
+|-
+| align="center" | 15 марта
+| Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)<sup>[[Media:Specsem_190315.pdf|Аннотация доклада]]</sup>
+| align="center" | Лопунов&nbsp;М.А.
+|-
+| align="center" | 22 марта
+| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)<sup>[[Media:Specsem_190322.pdf|Аннотация доклада]]</sup>
+| align="center" rowspan="2" | Пименов&nbsp;Н.В.
+|-
+| align="center" | 29 марта
+|-
+| align="center" | 5 апреля
+| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)<sup>[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]</sup>
+| align="center" | Омарова&nbsp;М.М.
+|-
+| align="center" | 12 апреля
+| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»<sup>[[Media:Specsem_190412.pdf|Аннотация доклада]]</sup>
+| align="center" | Хзмалян&nbsp;Д.Э.
+|-
+| align="center" | 19 апреля
+| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
+| align="center" |
+|-
+| align="center" | 17 мая
+| Выступления студентов 3 и 5 курсов с курсовыми работами
+| align="center" |
+|}
+== Осень 2018 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
 ! Тема доклада
 ! Докладчик
-|-
-| align="center"|1 октября
-| О глубине мультиплексорной функции <sup>[[Media:Vlasov_01_10.pdf|Аннотация доклада]]</sup>
-| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
-|-
-| align="center"|8 октября
-| Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях <sup>[[Media:Danilov_08_10.pdf|Аннотация доклада]]</sup>
-| [[Аспиранты кафедры математической кибернетики|Данилов Б.Р.]]
-|-
-| align="center"|15 октября
-| Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа.
-| [[Аспиранты кафедры математической кибернетики|Шуплецов М.С.]]
-|-
-| align="center"|22 октября
-| Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors.
-| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
-|-
-| align="center"|29 октября
-| Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.<sup>[[Media:Ulesova_29_10.pdf|Аннотация доклада]]</sup>
-| [[Аспиранты кафедры математической кибернетики|Улесова А.Ю.]]
-|-
-| align="center"|12 ноября
-| О сложности реализации частичных булевых функций схемами из функциональных элементов.<sup>[[Media:Blinov_12_11.pdf|Аннотация доклада]]</sup>
-| [[Аспиранты кафедры математической кибернетики|Блинов С.В.]]
 |-
-| align="center"|19 ноября
+| align="center" | 21 сентября
-| Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.<sup>[[Media:Vlasov_19_11.pdf|Аннотация доклада]]</sup>
+| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]
-| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
+| align="center" | Хзмалян Д.Э.
 |-
-| rowspan="2" align="center"|26 ноября
+| align="center" | 28 сентября
-| Алгоритм сжатия для невыпуклых многоугольников и его приложения
+| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]
-| Кривошеин Д.Ю.
+| align="center" | Мальцев А.Н.
 |-
-| Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности.
+| align="center" | 5 октября
-| Жмурин А.В.
+| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»<sup>[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]
-|-
+| align="center" | Титов В.А.
-| align="center"|3 декабря
+|-
-| Некоторые свойства невырожденных суперпозиций в Pk<sup>[[Media:Sadovnikov_03_12.pdf|Аннотация доклада]]</sup>
+| rowspan="2" align="center" | 12 октября
-| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
+| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
 |-
-| align="center"|10 декабря
+| «Нижняя оценка энергопотребления для одного класса объёмных схем»
-| Решение задачи о клике сведением к задаче с DC ограничением
+| align="center" | Ефимов Алексей Андреевич
-| [[Студенты кафедры математической кибернетики|Цимбалов С.Е.]]
+|-
+| align="center" | 19 октября
+| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»<sup>[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]
+| align="center" | Кинжикеева Д.С.
+|-
+| align="center" | 26 октября
+| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»<sup>[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
+| align="center" rowspan="2" | Красильникова А.А.
+|-
+| align="center" | 2 ноября
+|-
+| rowspan="2" align="center" | 9 ноября
+|-
+| Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)
+| align="center" | Александрова Н.Е.
+|-
+| rowspan="2" align="center" | 16 ноября
+| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+|-
+| Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»<sup>[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]]
+| align="center" | Высоцкий Л.И.
+|-
+| align="center" | 23 ноября
+| Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»<sup>[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]]
+| align="center" | Панчул Юрий Владимирович
+|-
+| rowspan="2" align="center" | 7 декабря
+| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
+|-
+| Доклад по теме «О сложности многослойных клеточных схем»<sup>[[Media:Specsem_7dec.doc|Аннотация доклада]]
+| align="center" | Калачев Г.В., Сытдыков Т.Р.
 |-
-| align="center"|17 декабря
-| Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"<sup>[[Media:Antufeev_17_12.pdf|Аннотация доклада]]</sup>
-| Антюфеев Г.В.
 |}
-==Весна 2011 года==
+== Весна 2018 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
 ! Тема доклада
 ! Докладчик
-|-
-| align="center"|25 февраля
-| Логический синтез топологически регулярных схем на транзисторных шаблонах <sup>[[Media:Talalai_25_02.pdf|Аннотация доклада]]</sup>
-| align="center"|Михаил Талалай
-|-
-| align="center"|4 марта
-| Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» <sup>[[Media:feedforward_networks.pdf|Аннотация к статье]]</sup>
-| align="center"|Владимир Лысиков
-|-
-| align="center"|11 марта
-| rowspan = "2" | Верификация структурных моделей цифровых схем <sup>[[Media:Gotmanov_11_03.pdf|Аннотация доклада]]</sup>
-| rowspan = "2"  align="center"|Александр Готманов
 |-
-| align="center"|25 марта
+| rowspan="2" align="center" | 06 апреля
 |-
-| align="center"|1 апреля
+| Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов»
-| Доклад по [http://mi.mathnet.ru/da435 статье Н.П. Редькина] «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций»
+| align="center" | Высоцкий Л. И., Жуков В. В.
-| align="center"|Олег Снегирев
 |-
-| align="center"|8 апреля
+| rowspan="2" align="center" | 23 марта
-| Доклад по [http://www.springerlink.com/content/m367ku711w732g87/ статье N. Blum, M. Seysen] «Characterization of all optimal networks for a simultaneous computation of AND and NOR»
-| align="center"|Владимир Коноводов
 |-
-| align = "center"|15 апреля
+| Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627).
-| Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»<sup>[[Media:‎Kopachevskiy_15_04.pdf|Аннотация доклада]]</sup>
+| align="center" | Курбацкая В.К.
-| align = "center"| Юрий Копачевский
 |-
-| align = "center"|22 апреля
+| rowspan="2" align="center" | 16 марта
-| Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» <sup>[[Media:‎Vlasov_22_04.pdf|Аннотация доклада]]</sup>
-| align = "center"| Никита Власов
 |-
-| align = "center"|29 апреля
+| Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с.
-| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» <sup>[[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]</sup>
+| align="center" | Мальцев А.Н.
-| align = "center"| Борис Данилов
 |-
-| align="center" rowspan = "2"|6 мая
+| rowspan="2" align="center" | 2 марта
-| rowspan = "2" | Доклады по магистерским диссертациям
-| align="center"|Дмитрий Кривошеин
 |-
-| align="center"|Григорий Антюфеев
+| Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем".
+| align="center" | Хзмолян Д.Э.
 |}
-== Осень 2011 года ==
+== Осень 2017 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
@@ Строка 283: / Строка 504: @@
 ! Тема доклада
 ! Докладчик
 |-
-| align = "center"|30 сентября
+| rowspan="2" align="center" | 22 сентября
-| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» <sup>[[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]</sup>
-| align = "center"| Борис Данилов
 |-
-| align = "center"|7 октября
+| Доклад «Cинтез рекурсивных схем из функциональных элементов»
-| Модификация метода Лупанова с более равномерным распределением исходящих дуг. <sup>[http://eccc.hpi-web.de/report/2011/130/ Ссылка на статью]</sup>
+| align="center" | Жуков В.В.
-| align = "center"| [[Ложкин Сергей Андреевич|Ложкин С. А.]]
 |-
-| align = "center"|14 октября
+| rowspan="2" align="center" | 29 сентября
-| О глубине мультиплексорной функции <sup>[[Media:Vlasov_14_10_11.pdf|Аннотация доклада]]</sup>
-| align = "center"| Никита Власов
 |-
-| align = "center"|21 октября
+| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
-| Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» <sup>[http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dm&paperid=81&option_lang=rus Ссылка на статью]</sup>
+| align="center" | Курбацкая В.К.
-| align = "center"| Александра Яблонская
 |-
-| align = "center"|28 октября
+| rowspan="2" align="center" | 6 октября
-| Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» <sup>[http://www.mendeley.com/research/finding-negative-cycles-directed-graph-18/# Ссылка на статью]</sup>
-| align = "center"| Дмитрий Кривошеин
 |-
-| align = "center"|11 ноября
+| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
-| Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» <sup>[http://www.optimization-online.org/DB_HTML/2004/07/910.html Ссылка на статью]</sup>
+| align="center" | Высоцкий Л.И.
-| align = "center"| Сергей Цимбалов
 |-
-| align = "center"|18 ноября
+| rowspan="2" align="center" | 20 октября
-| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» <sup>[http://elibrary.ru/item.asp?id=9427931 Данные о статье]</sup>
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"| Евгений Морозов
 |-
-| align = "center"|25 ноября
+| О динамической активности схем из функциональных элементов.
-| Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов»
+| align="center" | Шуплецов М.С.
-| align = "center"| Олег Садовников
 |-
-| align = "center"|2 декабря
-| Проблемы полноты и выразимости в пространствах дискретных функций
+| rowspan="2" align="center" | 27 октября
-| align = "center"| Парватов Н. Г. (Томск)
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align = "center"|9 декабря
+| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
-| О надежности неветвящихся программ с оператором условной остановки.
+| align="center" | Автайкина Мария
-| align = "center"| Грабовская С. М. (Пенза)
+|-
+| rowspan="2" align="center" | 3 ноября
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
+| align="center" | В. К. Курбацкая
 |-
-| align = "center"|16 декабря
+| rowspan="2" align="center" | 11 ноября
-| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"| Богомолова Е. М.
+|-
+| Доклад "О глубине ступенчатых функций".
+| align="center" | Д. С. Кинжикеева
+|-
+| rowspan="2" align="center" | 17 ноября
+|-
+| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
+| align="center" | Павлова А.Ф.
+|-
+| rowspan="2" align="center" | 24 ноября
+|-
+| Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
+| align="center" | Крюков Павел
 |}
+== Весна 2017 года ==
-== Весна 2012 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| rowspan="2" align="center" | 21 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
+| align="center" |
+|-
+| rowspan="2" align="center" | 14 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
+| align="center" | Зиновьев В.С.
+|-
+| rowspan="2" align="center" | 7 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
+| align="center" | Жуков В.В.
+|-
+| align="center" | 17 марта
+| Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
+| align="center" | Трубицын Ю.А.
+|-
+| rowspan="2" align="center" | 17 февраля
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
+| align="center" | Кинжикеева Д.
+|-
+| align="center" | 3 марта
+| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]</sup>
+| align="center" | Высоцкий Л.И.
+|-
+| rowspan="2" align="center" | 31 марта
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»<sup>[[Media:mmvlsi-pcst-annot-170331.pdf|Аннотация доклада]]</sup>
+| align="center" | Смирнов М.Е.
+|-
+|}
-{| align="center" width="100%"
+== Осень 2016 года ==
-|
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
@@ Строка 339: / Строка 613: @@
 ! Докладчик
 |-
-| align = "center"|24 февраля
+| rowspan="2" align="center" | 23 сентября
-| Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» <sup>[[Media:24.02.2012.pdf|Аннотация доклада]]</sup>
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"| Богомолова Е. М.
 |-
-| align = "center"|2 марта
+| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
-| Доклад по статье A. Genitrini, B. Gittenberger [http://www-apr.lip6.fr/~genitrini/publi/aofa10_genitrini.pdf «No Shannon effect on probability distributions on Boolean functions induced by random expressions»] <sup>[[Media:2.03.2012.pdf|Аннотация доклада]]</sup>
+| Жуков В.В.
-| align = "center"| Яблонская А.Ю.
 |-
-| align = "center"|11 марта
+| align="center" | 30 сентября
-|Доклад по статье Шуткина Ю.С. [http://dvinemnauku.ru/upload/day_101214/201012142208188078.pdf «Синтез информационных графов для предполных классов булевых функций»] <sup>[[Media:11.03.2012.pdf|Аннотация доклада]]</sup>
+| Нижняя оценка мощности плоских схем, реализующих булевы операторы <sup>[[Media:kalavac.docx|Аннотация доклада]]</sup>
-| align = "center"|Валиев Т.Р.
+| Калачев Г.В.
+|-
+| align="center" | 7 октября
+| Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" <sup>[[Media:chemodan.pdf|Аннотация доклада]]</sup>
+| Чемоданова О.М.
+|-
+| align="center" | 14 октября
+| Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" <sup>[[Media:popkov.docx|Аннотация доклада]]</sup>
+| Любич И.Г.
+|-
+| align="center" | 21 октября
+| Доклад "Синтез обратимых схем без дополнительной памяти" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+| Закаблуков Д.В.
+|-
+| align="center" | 28 октября
+| Доклад "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+| Титов В.А.
+|-
+| align="center" | 11 ноября
+| Окончание доклада "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+| Титов В.А.
+|-
+| align="center" | 18 ноября
+| Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+| Довгалюк Е.Л.
 |-
-| align = "center"|16 марта
+| rowspan="2" align="center" | 25 ноября
-|О синтезе и сложности формул с ограниченной глубиной альтернирования <sup>[[Media:16.03.2012.pdf|Аннотация доклада]]</sup>
+| colspan="2" align="center" |  Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"|Коноводов В.А.
 |-
-| align = "center"|23 марта
+| Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:%D0%9A_%D0%90_%D0%9F%D0%BE%D0%BF%D0%BA%D0%BE%D0%B2_%D0%9A%D0%A1-%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA.doc|Аннотация доклада]]</sup>
-| Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»
+| Тамм Я.-М.Ю.
-| align = "center"|Коразбаев К.Ж.
 |-
-| align = "center"|30 марта
+| rowspan="2" align="center" | 2 декабря
-| О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью
+| colspan="2" align="center" |  Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"|Коноводов В.А.
 |-
-| align = "center"|6 апреля
+| Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup>
-| Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов»
+| Уваров И.В.
-| align = "center"|Егоров А.В.
 |-
-| align = "center" |13 апреля
+| align="center" | 9 декабря
-| Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС <sup>[[Media:13.04.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов". <sup>[[Media:Romanovs_Abstract.doc|Аннотация доклада]]</sup>
-| align = "center" |Кривошеин Д.Ю.
+| Шишков И.С.
+|}
+== Весна 2016 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
 |-
-| align = "center" |20 апреля
+| rowspan="2" align="center" | 19 февраля
-|  |О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)<sup>[[Media:30.03.2012.pdf|Аннотация доклада]]</sup>
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"  |Блинов С.В.
 |-
-| align = "center" |27 апреля
+| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
-|  Доклад по [http://mi.mathnet.ru/dm1173 статье] Ю.В.Бородиной "Синтез легкотестируемых схем в базисе <math>\{\And,\vee,\neg\}</math> для систем булевых функций"
+| Зиновьев В.С.
-| align = "center"  |Морозов Е.В.
+|-
+| rowspan="2" align="center" | 26 февраля
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| rowspan = "2" align="center" |4 мая
+| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
-| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
+| Смирной Максим
-| align="center" |Коноводов В.А.
+|-
+| rowspan="2" align="center" | 4 марта
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align="center"|Богомолова Е.М.
+| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
+| Вяткин Евгений
 |-
-| rowspan = "2" align="center" |11 мая
+| align="center" | 11 марта
-| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
+| Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup>
-| align="center" |Морозов Е.В.
+| Бежовец А.В.
+|-
+| align="center" | 18 марта
+| Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup>
+| Павлов А.В.
+|-
+| rowspan="2" align="center" | 25 марта
+| colspan="2" align="center" | Совместно с семинаром  [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
+| Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
+|-
+| align="center" | 1 апреля
+| Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"
+| Курбацкая В.К.
+|-
+| align = "center"| 8 апреля
+| Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок".  <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
+| Кухтинов А.С.
+|-
+| align = "center"| 15 апреля
+| Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами».
+| Высоцкий Л.И.
+|-
+| rowspan="2" align="center" | 22 апреля
+| colspan="2" align="center" | Совместно с семинаром  [[Некоторые вопросы теории управляющих систем]] (Ауд. 526б)
+|-
+| Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup>
+| Семинар компании Cadence design systems.
+|-
+| rowspan="2" align="center" | 29 апреля
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
+| Калинина А.Н.
+|-
+| rowspan="2" align="center" | 6 мая
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+|-
+| Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".
+| Шишков Илья Сергеевич
 |-
-| align="center"|Цимбалов С.Е.
 |}
+== Осень 2015 года ==
-== Осень 2012 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 398: / Строка 742: @@
 ! Докладчик
 |-
-| align = "center"|28 сентября
+| align="center" | 9 октября
-| Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." <sup>[[Media:29.09.2012.pdf|Выходные данные]]</sup>
+| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
-| align = "center"| Плоткина Ю.С.
+| Зиновьев В. С.
 |-
-| align = "center"|5 октября
+| align="center" | 16 октября
-| О сложности мультиплексорной функции в классе схем из функциональных элементов <sup>[[Media:5.10.2012.pdf|Аннотация доклада]]</sup>
+| Синтез и сложность дешифраторных схем контактного типа
-| align = "center"| Власов Н.В.
+| Добровецкий Д. И.
+|-
+| rowspan="2" align="center" | 23 октября
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align = "center"|12 октября
+| New bounds on Klarner's constant
-| Алгоритмы для нахождения автоморфизмов больших разреженных графов <sup>[[Media:12.10.2012.pdf|Аннотация доклада]]</sup>
+| Gill Barequet, Dept. of Computer Science, Technion
-| align = "center"| Марков И. Л. (Мичиганский университет, США)
 |-
-| align = "center"|19 октября
+| align = "center"|30 октября
-| Доклад по статье N. Blum «A boolean function requiring 3n network size» <sup>[http://scidok.sulb.uni-saarland.de/volltexte/2011/4065/pdf/fb14_1982_13ocr.pdf Статья]</sup>
+| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup>
-| align = "center"| Богомолова Е. М.
+| Довгалюк Е. Л.
 |-
-| align = "center"|26 октября
+| align = "center"|6 ноября
-| Активность схем из функциональных элементов <sup>[[Media:26.10.2012.pdf|Аннотация доклада]]</sup>
+| Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup>
-| align = "center"| Доленко О. С.
+| Фивейский С.В.
+|-
+| rowspan="2" align="center" | 13 ноября
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align = "center"|2 ноября
+| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
-| Активность схем из функциональных элементов(окончание доклада)
+| Мария Автайкина
-| align = "center"| Доленко О. С.
 |-
-| align = "center"| 9 ноября
+| rowspan="2" align="center" | 20 ноября
-| Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»<sup>[[Media:9.11.2012.pdf|Аннотация доклада]]</sup>
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
-| align = "center"|Морозов Е. В.
 |-
-| align = "center"| 16 ноября
+|  Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
-| Минимизация пересечений линий (веток метро) на картах  метро<sup>[[Media:16.11.2012.pdf|Аннотация доклада]]</sup>
+. http://www.iccad.com (конференция)
-| align = "center"|Кунаков М. А.
+. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
+| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
 |-
-| align = "center"| 23 ноября
+| align = "center"| 27 ноября
-| Об одном методе получения более чем квадратичных эффективных нижних оценок сложности <math>\pi</math>-схем <sup>[[Media:23.11.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
-| align = "center"| Коноводов В. А.
+| Кухтинов А.С.
+|-
+| align = "center"| 4 декабря
+| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
+| Шуплецов М.С.
+|-
+| rowspan="2" align="center" | 11 декабря
+| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
 |-
-| align = "center"| 30 ноября
+| Доклад "Маршрут физического проектирования систем на кристалле"
-| Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка <sup>[[Media:30.11.2012.pdf|Аннотация доклада]]</sup>
+| Евгений Зенин
-| align = "center"| Кривошеин Д. Ю.
+|}
+== Весна 2015 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
 |-
-| align = "center"| 7 декабря
+| align="center" | 20 февраля
-| Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов <sup>[http://www.ippm.ru/data/dissrt/Avtoreferat-Talalai.pdf Ссылка на автореферат диссертации]</sup>
+| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
-| align = "center"| Талалай М. С.
+| Смирнов А. А.
 |-
-| align = "center"| 14 декабря
+| align="center" | 27 февраля
-| Инверсная сложность булевых функций<sup>[[Media:14.12.2012.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
-| align = "center"| Морозов Е. В.
+| Сальников В. А.
+|-
+| align="center" | 13 марта
+| О динамической активности мультиплексорной функции
+| Кулешов О. В.
+|-
+| align="center" | 27 марта
+| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
+| Тамм Я.-М. Ю.
+|-
+| align="center" | 3 апреля
+| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
+| Павлов А. В.
+|-
+| align="center" | 10 апреля
+| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
+| Пузачев Д. С.
+|-
+| align="center" | 24 апреля
+| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
+|
 |}
-==Весна 2013 года==
+== Осень 2014 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 453: / Строка 838: @@
 ! Докладчик
 |-
-| align = "center"| 22 февраля
+| align="center" | 3 октября
-| О сложности реализации булевых функций из некоторых классов, связанных с  конечными грамматиками, формулами глубины альтернирования 3 <sup>[[Media:22.02.2013.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
-| align = "center"| Коноводов В.А.
+| Зиновьев В. С.
 |-
-| align = "center"| 1 марта
+| align="center" | 10 октября
-|  О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе
+| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
-| align = "center"| Романов Д.С.
+| Зиновьев В. С.
 |-
-| align = "center"| 15 марта
+| align="center" | 17 октября
-|  Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»
+| Тесты для булевых функций относительно вытесняющих неисправностей
-| align = "center"| Доленко О.С.
+| Морозов Е. В.
 |-
-| align = "center"| 22 марта
+| align="center" | 24 октября
-| Доклад по [[Медиа:Dm601.pdf|статье]] Хахулина В.Г. «О проверяющих тестах для счетчика четности»
+| Комбинаторика и сложность случайных булевых формул
-| align = "center"| Жукова А.А.
+| [[Участник:KonovodovV|Коноводов В. А. ]]
 |-
-| align = "center"| 29 марта
+| align="center" | 31 октября
-| Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в P<sub>k</sub>»<sup>[[Media:29.03.2013.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
-| align = "center"| Чеховская Е.Н.
+| Раннев Е. К.
 |-
-| align = "center"| 5 апреля
+| align="center" | 7 ноября
-| Доклад по [http://mi.mathnet.ru/dm198	 статье] Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»
+| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
-| align = "center"| Тренкунов А.В.
+| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 |-
-| align = "center"| 12 апреля
+| align="center" | 14 ноября
-| Доклад по [http://mi.mathnet.ru/mz7425	 статье] Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»
+| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
-| align = "center"| Морозов Е.В.
+| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
 |-
-| align = "center"| 19 апреля
+| align = "center"|21 ноября
-|О тестах относительно примитивных сдвигов переменных в булевых функциях<sup>[[Media:19.04.2013.pdf|Аннотация доклада]]</sup>
+| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
-| align = "center"| Антюфеев Г. В.
+| align = "center"| Довгалюк Е. Л.
 |-
-| align = "center"| 26 апреля
+| align = "center"|28 ноября
-| Доклад по [http://mi.mathnet.ru/dm1112 статье] Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»
+| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
-| align = "center"| Плоткина Ю. С.
+| align = "center"| Белышов М. В.
 |-
-| align = "center"| 17 мая
+| align = "center"| 5 декабря
-| Доклады студентов 5 курса по дипломным работам.
+| Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" <sup>[http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=743779 Данные о статье]</sup>
-| align = "center"|
+| align = "center"| Кумар В.
+|-
+| align = "center"| 12 декабря
+| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
+| align = "center"| Кортунова Е. М.
+|-
+| align="center" | 19 декабря
+|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
+| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 |}
+== Весна 2014 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| align="center" | 21 февраля
+| Сверхполиномиальная нижняя оценка монотонной сложности функции клики <sup> [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]</sup>
+| Довгалюк Е. Л.
+|-
+| align="center" | 28 февраля
+| Метод Нечипорука и примеры его применения <sup> [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]</sup>
+| Кулешов О. В.
+|-
+| align="center" | 14 марта
+| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
+| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
+|-
+| align="center" | 21 марта
+|-
+| align="center" | 28 марта
+| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам <sup> [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]</sup>
+| Данилов Б. Р.
+|-
+| align="center" | 4 апреля
+| Некоторые обобщения теоремы Храпченко и примеры их применений <sup> [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]</sup>
+| Раннев Е. К.
+|-
+| align="center" | 11 апреля
+| Доклад по [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1672574&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D1672574 статье ] Kewal  K.  Saluja,  Sudhakar M. Reddy, "On minimally testable logic networks".
+| Кумар В.
+|-
+| align="center" | 18 апреля
+| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
+| Доленко О. С.
+|-
+| align="center" | 25 апреля
+| Исследование влияния структурных параметров на результаты синтеза цифровых схем
+| Кортунова Е. Н.
+|-
+| align="center" | 16 мая
+| Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"
+| Чеховская Е. Н.
+|}
 == Осень 2013 года ==
@@ Строка 554: / Строка 992: @@
 |}
-== Весна 2014 года ==
+==Весна 2013 года==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 560: / Строка 998: @@
 ! Докладчик
 |-
-| align="center" | 21 февраля
+| align = "center"| 22 февраля
-| Сверхполиномиальная нижняя оценка монотонной сложности функции клики <sup> [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]</sup>
+| О сложности реализации булевых функций из некоторых классов, связанных с  конечными грамматиками, формулами глубины альтернирования 3 <sup>[[Media:22.02.2013.pdf|Аннотация доклада]]</sup>
-| Довгалюк Е. Л.
+| align = "center"| Коноводов В.А.
 |-
-| align="center" | 28 февраля
+| align = "center"| 1 марта
-| Метод Нечипорука и примеры его применения <sup> [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]</sup>
+|  О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе
-| Кулешов О. В.
+| align = "center"| Романов Д.С.
 |-
-| align="center" | 14 марта
+| align = "center"| 15 марта
-| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 <sup> [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]</sup>
+|  Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»
-| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
+| align = "center"| Доленко О.С.
 |-
-| align="center" | 21 марта
+| align = "center"| 22 марта
+| Доклад по [[Медиа:Dm601.pdf|статье]] Хахулина В.Г. «О проверяющих тестах для счетчика четности»
+| align = "center"| Жукова А.А.
 |-
-| align="center" | 28 марта
+| align = "center"| 29 марта
-| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам <sup> [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]</sup>
+| Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в P<sub>k</sub>»<sup>[[Media:29.03.2013.pdf|Аннотация доклада]]</sup>
-| Данилов Б. Р.
+| align = "center"| Чеховская Е.Н.
 |-
-| align="center" | 4 апреля
+| align = "center"| 5 апреля
-| Некоторые обобщения теоремы Храпченко и примеры их применений <sup> [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]</sup>
+| Доклад по [http://mi.mathnet.ru/dm198	 статье] Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»
-| Раннев Е. К.
+| align = "center"| Тренкунов А.В.
 |-
-| align="center" | 11 апреля
+| align = "center"| 12 апреля
-| Доклад по [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1672574&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D1672574 статье ] Kewal  K.  Saluja,  Sudhakar M. Reddy, "On minimally testable logic networks".
+| Доклад по [http://mi.mathnet.ru/mz7425	 статье] Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»
-| Кумар В.
+| align = "center"| Морозов Е.В.
 |-
-| align="center" | 18 апреля
+| align = "center"| 19 апреля
-| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
+|О тестах относительно примитивных сдвигов переменных в булевых функциях<sup>[[Media:19.04.2013.pdf|Аннотация доклада]]</sup>
-| Доленко О. С.
+| align = "center"| Антюфеев Г. В.
 |-
-| align="center" | 25 апреля
+| align = "center"| 26 апреля
-| Исследование влияния структурных параметров на результаты синтеза цифровых схем
+| Доклад по [http://mi.mathnet.ru/dm1112 статье] Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»
-| Кортунова Е. Н.
+| align = "center"| Плоткина Ю. С.
 |-
-| align="center" | 16 мая
+| align = "center"| 17 мая
-| Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"
+| Доклады студентов 5 курса по дипломным работам.
-| Чеховская Е. Н.
+| align = "center"|
 |}
-== Осень 2014 года ==
+== Осень 2012 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| align = "center"|28 сентября
+| Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." <sup>[[Media:29.09.2012.pdf|Выходные данные]]</sup>
+| align = "center"| Плоткина Ю.С.
+|-
+| align = "center"|5 октября
+| О сложности мультиплексорной функции в классе схем из функциональных элементов <sup>[[Media:5.10.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"| Власов Н.В.
+|-
+| align = "center"|12 октября
+| Алгоритмы для нахождения автоморфизмов больших разреженных графов <sup>[[Media:12.10.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"| Марков И. Л. (Мичиганский университет, США)
+|-
+| align = "center"|19 октября
+| Доклад по статье N. Blum «A boolean function requiring 3n network size» <sup>[http://scidok.sulb.uni-saarland.de/volltexte/2011/4065/pdf/fb14_1982_13ocr.pdf Статья]</sup>
+| align = "center"| Богомолова Е. М.
+|-
+| align = "center"|26 октября
+| Активность схем из функциональных элементов <sup>[[Media:26.10.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"| Доленко О. С.
+|-
+| align = "center"|2 ноября
+| Активность схем из функциональных элементов(окончание доклада)
+| align = "center"| Доленко О. С.
+|-
+| align = "center"| 9 ноября
+| Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»<sup>[[Media:9.11.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"|Морозов Е. В.
+|-
+| align = "center"| 16 ноября
+| Минимизация пересечений линий (веток метро) на картах  метро<sup>[[Media:16.11.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"|Кунаков М. А.
+|-
+| align = "center"| 23 ноября
+| Об одном методе получения более чем квадратичных эффективных нижних оценок сложности <math>\pi</math>-схем <sup>[[Media:23.11.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"| Коноводов В. А.
+|-
+| align = "center"| 30 ноября
+| Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка <sup>[[Media:30.11.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"| Кривошеин Д. Ю.
+|-
+| align = "center"| 7 декабря
+| Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов <sup>[http://www.ippm.ru/data/dissrt/Avtoreferat-Talalai.pdf Ссылка на автореферат диссертации]</sup>
+| align = "center"| Талалай М. С.
+|-
+| align = "center"| 14 декабря
+| Инверсная сложность булевых функций<sup>[[Media:14.12.2012.pdf|Аннотация доклада]]</sup>
+| align = "center"| Морозов Е. В.
+|}
+== Весна 2012 года ==
+{| align="center" width="100%"
+|
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
@@ Строка 607: / Строка 1105: @@
 ! Докладчик
 |-
-| align="center" | 3 октября
+| align = "center"|24 февраля
-| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+| Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» <sup>[[Media:24.02.2012.pdf|Аннотация доклада]]</sup>
-| Зиновьев В. С.
+| align = "center"| Богомолова Е. М.
 |-
-| align="center" | 10 октября
+| align = "center"|2 марта
-| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
+| Доклад по статье A. Genitrini, B. Gittenberger [http://www-apr.lip6.fr/~genitrini/publi/aofa10_genitrini.pdf «No Shannon effect on probability distributions on Boolean functions induced by random expressions»] <sup>[[Media:2.03.2012.pdf|Аннотация доклада]]</sup>
-| Зиновьев В. С.
+| align = "center"| Яблонская А.Ю.
 |-
-| align="center" | 17 октября
+| align = "center"|11 марта
-| Тесты для булевых функций относительно вытесняющих неисправностей
+|Доклад по статье Шуткина Ю.С. [http://dvinemnauku.ru/upload/day_101214/201012142208188078.pdf «Синтез информационных графов для предполных классов булевых функций»] <sup>[[Media:11.03.2012.pdf|Аннотация доклада]]</sup>
-| Морозов Е. В.
+| align = "center"|Валиев Т.Р.
 |-
-| align="center" | 24 октября
+| align = "center"|16 марта
-| Комбинаторика и сложность случайных булевых формул
+|О синтезе и сложности формул с ограниченной глубиной альтернирования <sup>[[Media:16.03.2012.pdf|Аннотация доклада]]</sup>
-| [[Участник:KonovodovV|Коноводов В. А. ]]
+| align = "center"|Коноводов В.А.
 |-
-| align="center" | 31 октября
+| align = "center"|23 марта
-| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
+| Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»
-| Раннев Е. К.
+| align = "center"|Коразбаев К.Ж.
 |-
-| align="center" | 7 ноября
+| align = "center"|30 марта
-| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
+| О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью
-| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+| align = "center"|Коноводов В.А.
 |-
-| align="center" | 14 ноября
+| align = "center"|6 апреля
-| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
+| Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов»
-| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
+| align = "center"|Егоров А.В.
 |-
-| align = "center"|21 ноября
+| align = "center" |13 апреля
-| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
+| Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС <sup>[[Media:13.04.2012.pdf|Аннотация доклада]]</sup>
-| align = "center"| Довгалюк Е. Л.
+| align = "center" |Кривошеин Д.Ю.
 |-
-| align = "center"|28 ноября
+| align = "center" |20 апреля
-| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
+|  |О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)<sup>[[Media:30.03.2012.pdf|Аннотация доклада]]</sup>
-| align = "center"| Белышов М. В.
+| align = "center"  |Блинов С.В.
 |-
-| align = "center"| 5 декабря
+| align = "center" |27 апреля
-| Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" <sup>[http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=743779 Данные о статье]</sup>
+|  Доклад по [http://mi.mathnet.ru/dm1173 статье] Ю.В.Бородиной "Синтез легкотестируемых схем в базисе <math>\{\And,\vee,\neg\}</math> для систем булевых функций"
-| align = "center"| Кумар В.
+| align = "center"  |Морозов Е.В.
 |-
-| align = "center"| 12 декабря
+| rowspan = "2" align="center" |4 мая
-| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
+| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
-| align = "center"| Кортунова Е. М.
+| align="center" |Коноводов В.А.
 |-
-| align="center" | 19 декабря
+| align="center"|Богомолова Е.М.
-|  Доклад по статье Карповой Н. А.  «О линейных суперпозициях функций алгебры логики» .
+|-
-| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+| rowspan = "2" align="center" |11 мая
+| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
+| align="center" |Морозов Е.В.
+|-
+| align="center"|Цимбалов С.Е.
 |}
+== Осень 2011 года ==
-== Весна 2015 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
 ! Дата
@@ Строка 663: / Строка 1165: @@
 ! Докладчик
 |-
-| align="center" | 20 февраля
+| align = "center"|30 сентября
-| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
+| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» <sup>[[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]</sup>
-| Смирнов А. А.
+| align = "center"| Борис Данилов
 |-
-| align="center" | 27 февраля
+| align = "center"|7 октября
-| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
+| Модификация метода Лупанова с более равномерным распределением исходящих дуг. <sup>[http://eccc.hpi-web.de/report/2011/130/ Ссылка на статью]</sup>
-| Сальников В. А.
+| align = "center"| [[Ложкин Сергей Андреевич|Ложкин С. А.]]
 |-
-| align="center" | 13 марта
+| align = "center"|14 октября
-| О динамической активности мультиплексорной функции
+| О глубине мультиплексорной функции <sup>[[Media:Vlasov_14_10_11.pdf|Аннотация доклада]]</sup>
-| Кулешов О. В.
+| align = "center"| Никита Власов
 |-
-| align="center" | 27 марта
+| align = "center"|21 октября
-| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
+| Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» <sup>[http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dm&paperid=81&option_lang=rus Ссылка на статью]</sup>
-| Тамм Я.-М. Ю.
+| align = "center"| Александра Яблонская
 |-
-| align="center" | 3 апреля
+| align = "center"|28 октября
-| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
+| Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» <sup>[http://www.mendeley.com/research/finding-negative-cycles-directed-graph-18/# Ссылка на статью]</sup>
-| Павлов А. В.
+| align = "center"| Дмитрий Кривошеин
 |-
-| align="center" | 10 апреля
+| align = "center"|11 ноября
-| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
+| Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» <sup>[http://www.optimization-online.org/DB_HTML/2004/07/910.html Ссылка на статью]</sup>
-| Пузачев Д. С.
+| align = "center"| Сергей Цимбалов
 |-
-| align="center" | 24 апреля
+| align = "center"|18 ноября
-| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
+| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» <sup>[http://elibrary.ru/item.asp?id=9427931 Данные о статье]</sup>
-|
+| align = "center"| Евгений Морозов
+|-
+| align = "center"|25 ноября
+| Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов»
+| align = "center"| Олег Садовников
+|-
+| align = "center"|2 декабря
+| Проблемы полноты и выразимости в пространствах дискретных функций
+| align = "center"| Парватов Н. Г. (Томск)
+|-
+| align = "center"|9 декабря
+| О надежности неветвящихся программ с оператором условной остановки.
+| align = "center"| Грабовская С. М. (Пенза)
+|-
+| align = "center"|16 декабря
+| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
+| align = "center"| Богомолова Е. М.
+|}
+==Весна 2011 года==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| align="center"|25 февраля
+| Логический синтез топологически регулярных схем на транзисторных шаблонах <sup>[[Media:Talalai_25_02.pdf|Аннотация доклада]]</sup>
+| align="center"|Михаил Талалай
+|-
+| align="center"|4 марта
+| Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» <sup>[[Media:feedforward_networks.pdf|Аннотация к статье]]</sup>
+| align="center"|Владимир Лысиков
+|-
+| align="center"|11 марта
+| rowspan = "2" | Верификация структурных моделей цифровых схем <sup>[[Media:Gotmanov_11_03.pdf|Аннотация доклада]]</sup>
+| rowspan = "2"  align="center"|Александр Готманов
+|-
+| align="center"|25 марта
+|-
+| align="center"|1 апреля
+| Доклад по [http://mi.mathnet.ru/da435 статье Н.П. Редькина] «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций»
+| align="center"|Олег Снегирев
+|-
+| align="center"|8 апреля
+| Доклад по [http://www.springerlink.com/content/m367ku711w732g87/ статье N. Blum, M. Seysen] «Characterization of all optimal networks for a simultaneous computation of AND and NOR»
+| align="center"|Владимир Коноводов
+|-
+| align = "center"|15 апреля
+| Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»<sup>[[Media:‎Kopachevskiy_15_04.pdf|Аннотация доклада]]</sup>
+| align = "center"| Юрий Копачевский
+|-
+| align = "center"|22 апреля
+| Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» <sup>[[Media:‎Vlasov_22_04.pdf|Аннотация доклада]]</sup>
+| align = "center"| Никита Власов
+|-
+| align = "center"|29 апреля
+| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» <sup>[[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]</sup>
+| align = "center"| Борис Данилов
+|-
+| align="center" rowspan = "2"|6 мая
+| rowspan = "2" | Доклады по магистерским диссертациям
+| align="center"|Дмитрий Кривошеин
+|-
+| align="center"|Григорий Антюфеев
 |}
-== Осень 2015 года ==
+== Осень 2010 года ==
 {| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
@@ Строка 699: / Строка 1263: @@
 ! Тема доклада
 ! Докладчик
+|-
+| align="center"|1 октября
+| О глубине мультиплексорной функции <sup>[[Media:Vlasov_01_10.pdf|Аннотация доклада]]</sup>
+| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
+|-
+| align="center"|8 октября
+| Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях <sup>[[Media:Danilov_08_10.pdf|Аннотация доклада]]</sup>
+| [[Аспиранты кафедры математической кибернетики|Данилов Б.Р.]]
+|-
+| align="center"|15 октября
+| Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа.
+| [[Аспиранты кафедры математической кибернетики|Шуплецов М.С.]]
+|-
+| align="center"|22 октября
+| Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors.
+| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
+|-
+| align="center"|29 октября
+| Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.<sup>[[Media:Ulesova_29_10.pdf|Аннотация доклада]]</sup>
+| [[Аспиранты кафедры математической кибернетики|Улесова А.Ю.]]
+|-
+| align="center"|12 ноября
+| О сложности реализации частичных булевых функций схемами из функциональных элементов.<sup>[[Media:Blinov_12_11.pdf|Аннотация доклада]]</sup>
+| [[Аспиранты кафедры математической кибернетики|Блинов С.В.]]
 |-
-| align="center" | 9 октября
+| align="center"|19 ноября
-| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
+| Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.<sup>[[Media:Vlasov_19_11.pdf|Аннотация доклада]]</sup>
-| Зиновьев В. С.
+| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
 |-
-| align="center" | 16 октября
+| rowspan="2" align="center"|26 ноября
-| Синтез и сложность дешифраторных схем контактного типа
+| Алгоритм сжатия для невыпуклых многоугольников и его приложения
-| Добровецкий Д. И.
+| Кривошеин Д.Ю.
+|-
+| Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности.
+| Жмурин А.В.
 |-
-| rowspan="2" align="center" | 23 октября
+| align="center"|3 декабря
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+| Некоторые свойства невырожденных суперпозиций в Pk<sup>[[Media:Sadovnikov_03_12.pdf|Аннотация доклада]]</sup>
+| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
+|-
+| align="center"|10 декабря
+| Решение задачи о клике сведением к задаче с DC ограничением
+| [[Студенты кафедры математической кибернетики|Цимбалов С.Е.]]
 |-
-| New bounds on Klarner's constant
+| align="center"|17 декабря
-| Gill Barequet, Dept. of Computer Science, Technion
+| Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"<sup>[[Media:Antufeev_17_12.pdf|Аннотация доклада]]</sup>
+| Антюфеев Г.В.
+|}
+== Весна 2010 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| align="center"|26 февраля
+| Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций"
+| Власов Н.В.
 |-
-| align = "center"|30 октября
+| align="center"|5 марта
-| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup>
+| rowspan="2" |Об одной модели схем из функциональных элементов с задержками <sup>[[Media: Danilov_05_03_2010.pdf|Аннотация доклада]]</sup>
-| Довгалюк Е. Л.
+| rowspan="2" |Данилов Б.Р.
 |-
-| align = "center"|6 ноября
+| align="center"|12 марта
-| Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup>
+|-
-| Фивейский С.В.
+| align="center"|19 марта
+| О полноте и замкнутых классах ФАЛ с прямыми и итеративными переменными <sup>[[Media: Ulesova_19_03_2010.pdf|Аннотация доклада]]</sup>
+| Улесова А.Ю.
+|-
+| align="center"|2 апреля
+| Фотолитография: современное состояние и САПР
+| Мелик-Адамян А.
+|-
+| align="center"|9 апреля
+| rowspan="2" |Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты
+| rowspan="2" |Шиганов А.Е.
+|-
+| align="center"|16 апреля
+|-
+| align="center"|23 апреля
+| Об автоматной модели преследования
+| Волков Н.Ю.
+|-
+| rowspan="2" align="center"|30 апреля
+| Оценка перегруженности трассировки с использованием вероятностного анализа
+| Антюфеев Г.В.
+|-
+| Инкрементальный алгоритм вычисления кратчайших путей в разреженном графе
+| Кривошеин Д.Ю.
+|-
+| align="center"|7 мая
+| Доклады студентов 5 курса по дипломным работам
+| Улесова А.Ю., <br />Садовников О.А.,<br /> Мордасова М.С.,<br /> Перегуда А.Д.
+|}
+== Осень 2009 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
 |-
-| rowspan="2" align="center" | 13 ноября
+| 25 сентября
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+| Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты <sup>[[Media:shiganov_annotation_25_09_09.pdf|Аннотация доклада]]</sup>
+| Шиганов Александр
 |-
-| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
+| 2 октября
-| Мария Автайкина
+| О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты <sup>[[Media:shiganov_02_10_09.pdf|Аннотация доклада]]</sup>
+| Шиганов Александр
 |-
-| rowspan="2" align="center" | 20 ноября
+| 9 октября
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+| О сложности мультиплексорной функции в классе π-схем <sup>[[Media:Lozhkin_Vlasov_09_10_09.pdf|Аннотация доклада]]</sup>
+| [[Ложкин Сергей Андреевич| Ложкин С.А.]], [[Аспиранты кафедры математической кибернетики|Власов Никита]]
 |-
-|  Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
+| 16 октября
-. http://www.iccad.com (конференция)
+| Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов
-. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+| Каграманян Э.Р.
-. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
-| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
 |-
-| align = "center"| 27 ноября
+| 23 октября
-| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
+| Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб <sup>[[Media:Sadovnikov_23_10_09.pdf|Аннотация доклада]]</sup>
-| Кухтинов А.С.
+| Садовников О.А.
+|-
+| 30 октября
+| Об одной модели рекурсивных схем из функциональных элементов <sup>[[Media:Danilov_30_10_2009.pdf|Аннотация доклада]]</sup>
+| Данилов Б.Р.
+|-
+| 6 ноября
+| Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
+| Морозов Е.В.
+|-
+| 13 ноября
+| Поиск кратчайших путей в графах (обзор статей) <sup>[[Media:Krivoshein_13_11_09.pdf|Аннотация доклада]]</sup>
+| Кривошеин Д.Ю.
+|-
+| 20 ноября
+| Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника»
+| Улесова А.Ю.
+|-
+| 27 ноября
+| Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС <sup>[[Media:Melik-Adamjan_27_11_09.pdf|Аннотация доклада]]</sup>
+| Мелик-Адамян А.Ф.
 |-
-| align = "center"| 4 декабря
+| 4 декабря
-| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
+| Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского
-| Шуплецов М.С.
+|
+|}
+== Осень 2008 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
 |-
-| rowspan="2" align="center" | 11 декабря
+| 3 Октября
-| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
+| Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий
+| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
+|-
+| 31 Октября
+| Выбор оптимальных параметров в задачах с многими критериями
+| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
+|-
+| 14 Ноября
+| Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric"
+| [[Студенты кафедры математической кибернетики | Мордасова М.С.]]
+|-
+| 12 Декабря
+| Методы разрешения положительных циклов в графе ограничений
+| Сергей Локинский
+|}
+== Весна 2008 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| 26 февраля
+| Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур
+| Хапаев М.М.
 |-
-| Доклад "Маршрут физического проектирования систем на кристалле"
+| 11 марта
-| Евгений Зенин
+| Использование разложения Гильберта при построении схем из функциональных элементов <sup>[[Media:Dolotova08.pdf|слайды]]</sup>
+| Долотова Н.С.
+|-
+| 25 марта
+| Аналитический подход к легализации размещения стандартных ячеек
+| Аюпов А.Б.
+|-
+| 8 апреля
+| Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС
+| Локинский С.Н.
+|-
+| 29 апреля
+| Структуры данных для хранения и поиска объектов в пространстве
+| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
 |}
+== Осень 2007 года ==
+{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
+! Дата
+! Тема доклада
+! Докладчик
+|-
+| 5 октября
+| Применение целочисленного линейного программирования в трассировке схем  <sup>[[Media:Zapadinsky07.pdf|реферат]]</sup>
+| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
+|-
+| rowspan="2" | 9 ноября
+| colspan="2" align="center" | Совместно с семинаром [[Дискретная математика и математическая кибернетика]]
+|-
+|  Прикладные математические задачи САПР СБИС<sup>[[Media:Marchenko-14-11-07.ppt|слайды]]</sup>
+| [[Марченко Александр Михайлович|Марченко А. М.]]
+|-
+| 30 ноября
+| Регулярность в проектировании СБИС на примере регулярных логических блоков<sup>[[Media:Shupletsov1.ppt|слайды]]</sup> и FPGA<sup>[[Media:Zapadinsky-30.11.07.pdf|слайды]]</sup>
+| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]] <br /> [[Аспиранты кафедры математической кибернетики|Шуплецов Михаил]]
+|-
+| 14 декабря
+| Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе.
+| Попов Евгений
+|}
 == Руководители ==

Математические вопросы проектирования СБИС (Архив) — различия между версиями

Текущая версия на 22:18, 18 сентября 2024

Содержание

Весна 2024 года

Осень 2023 года

Весна 2023 года

Весна 2022 года

Осень 2021 года

Весна 2021 года

Осень 2020 года

Весна 2019 года

Осень 2018 года

Весна 2018 года

Осень 2017 года

Весна 2017 года

Осень 2016 года

Весна 2016 года

Осень 2015 года

Весна 2015 года

Осень 2014 года

Весна 2014 года

Осень 2013 года

Весна 2013 года

Осень 2012 года

Весна 2012 года

Осень 2011 года

Весна 2011 года

Осень 2010 года

Весна 2010 года

Осень 2009 года

Осень 2008 года

Весна 2008 года

Осень 2007 года

Руководители

Навигация

Поиск