Laboratory of Mathematical Logic - DM Seminar

Пятница 12.11. Людмила Циовкина: " Накрытия полных графов и связанные с ними схемы отношений"

seminars — Fri, 05 Nov 2021 14:57:04 +0000

Пятница, 12 ноября, Zoom. Начало в 11:00.

Докладчик: Людмила Циовкина (ИММ УрО РАН).

Тема: Накрытия полных графов и связанные с ними схемы отношений.

Пятница 31.07. Виталий Демьянюк: "Теоретические оценки качества и сложности алгоритмов в дизайне сетевых элементов"

seminars — Wed, 29 Jul 2020 13:56:39 +0000

Пятница, 31 июля, Конференция Zoom. Начало в 17:00.

Докладчик: Виталий Демьянюк.

Тема: Теоретические оценки качества и сложности алгоритмов в дизайне сетевых элементов.

Пятница 26.04. Андрей Рыжиков: "О поиске коротких синхронизирующих слов для префиксных кодов"

seminars — Tue, 23 Apr 2019 05:52:10 +0000

Пятница, 26 апреля, ауд. 106. Начало в 17:00.

Докладчик: Андрей Рыжиков (университет Пари-Эст Марн-ля-Вале, Франция).

Тема: О поиске коротких синхронизирующих слов для префиксных кодов.

Пятница 19.04. Виктор Лопаткин: "Двудольные графы как полиномы и полиномы как двудольные графы"

seminars — Tue, 16 Apr 2019 11:53:08 +0000

Пятница, 19 апреля, ауд. 106. Начало в 16:30.

Докладчик: Виктор Лопаткин.

Тема: Двудольные графы как полиномы и полиномы как двудольные графы.

Понедельник 10.12. А.Х. Шень: "Три подхода к определению понятия количества информации: увеличение сложности при случайном шуме"

seminars — Mon, 03 Dec 2018 09:20:31 +0000

Понедельник, 10 декабря, 106. Начало в 14:30.

Докладчик: А.Х. Шень (LIRMM, ИППИ РАН).

Тема: Три подхода к определению понятия количества информации: увеличение сложности при случайном шуме.

Пятница 09.11. В.В. Подольский: "Нижние оценки в модели разрешающих деревьев с XOR-запросами"

seminars — Wed, 07 Nov 2018 12:54:03 +0000

Пятница, 9 ноября, 106. Начало в 14:00.

Докладчик: В.В. Подольский (ВШЭ).

Тема: Нижние оценки в модели разрешающих деревьев с XOR-запросами.

Пятница 02.11. Jarkko Peltomäki: "On Numeration Systems and Automatic Sequences"

seminars — Sun, 28 Oct 2018 21:52:34 +0000

Пятница, 2 ноября, ауд. 106. Начало в 14:00.

Докладчик: Jarkko Peltomäki (University of Turku).

Тема: On Numeration Systems and Automatic Sequences.

Пятница 26.10. Mika Hirvensalo : "Decidable and undecidable problems related to Measure-Once Quantum Automata with rational and irrational coefficients"

seminars — Tue, 23 Oct 2018 11:34:16 +0000

Пятница, 26 октября, ауд. 106. Начало в 14:00.

Докладчик: Mika Hirvensalo (University of Turku).

Тема: Decidable and undecidable problems related to Measure-Once Quantum Automata with rational and irrational coefficients.

Среда 24.10. Jarkko Kari: "Periodicity in Algebraic Subshifts"

seminars — Thu, 18 Oct 2018 08:15:57 +0000

Cреда, 24 октября, ауд. 203. Начало в 14:00.

Докладчик: Jarkko Kari (University of Turku).

Тема: Periodicity in Algebraic Subshifts.

Четверг 06.09. Владимир Лифшиц: "Стабильные модели формул исчисления высказываний"

seminars — Thu, 30 Aug 2018 15:16:41 +0000

Четверг, 6 сентября, ауд. 106. Начало в 11:30.

Докладчик: Владимир Лифшиц (University of Texas at Austin).

Тема: Стабильные модели формул исчисления высказываний.