#матлог #наука #конференция

В этом году с 11 по 16 августа в Красноярске будет проходить V Конференция математических центров [в очном формате]:

https://kmc.sfu-kras.ru/conf2025/

Местом проведения послужит кампус Сибирского федерального университета. Рядом находятся живописные места; некоторые из экотроп непосредственно проходят по территории кампуса.

Подать заявку на участие можно через вкладку «Регистрация» — см. секцию «Математическая логика и теоретическая информатика».

Заявки принимаются до 24 мая включительно.

По вопросам, связанным с работой секции, можно обращаться к её организаторам:

— Н.А. Баженов [email protected]
— И.Ш. Калимуллин [email protected]
— В.В. Рыбаков [email protected]
— С.О. Сперанский [email protected]

➰ ВК

#матлог #летняя_школа

--------------------------------------------------------------
↪ Летняя школа «Логика и формальная философия»
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 2021, 2022, 2023, 2024). В 2025 году летняя школа пройдет в партнерстве с Научно-учебной лабораторией по формальным моделям в лингвистике и Центром логики, эпистемологии и истории науки (Университета Кампинас). Программы школы будет состоять из серии мини-курсов, отдельных лекций, а также постерной секции.

Даты проведения: 30 июня — 4 июля 2025
Место проведение: г. Москва, ул. Старая Басманная, д. 21/4
Формат: занятия будут проходить очно с параллельной трансляцией в Zoom
Оплата: участие в школе бесплатное
Поддержка участников: организаторы смогут поддержать участие небольшого количества студентов и аспирантов, отобранных по конкурсу тревел-грантов

https://llfp.hse.ru/school2025

🔗 Летняя школа "Логика, лингвистика и формальная философия"

➰ ВК

#матлог #наука

✅Стартовал приём статей по AI для публикации в журнале международной конференции AI Journey!

Ключевые исследования будут опубликованы в специальном выпуске журнала «Доклады Российской академии наук. Математика, информатика, процессы управления» и его англоязычной версии Doklady Mathematics.

📖Научный журнал AIJ:
· Индексируется в крупнейших библиографических базах
данных научного цитирования
· Доступен международной аудитории и публикуется на площадках мировых электронных библиотек

✍Успейте подать заявку до 20 августа и получить возможность не только опубликовать свое исследование в авторитетном научном издании, но и представить его на площадке конференции AI Journey.

🏆Авторы лучшей статьи получат 1 млн рублей!

Работа не должна содержать ранее опубликованные материалы.

ℹ Более детальную информацию можно найти в Правилах - AI Journey https://aij.ru/science.

➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk
12.05.2025, jointly with S.I. Adian seminar, Vladimir Podolskii (Steklov Mathematical Institute and Tufts University, https://homepage.mi-ras.ru/~podolskii/): Randomized Lifting to Semi-Structured Communication Complexity

Lifting is a general technique which takes lower bounds for the complexity of some functions in a weak computational model and translates it into a bound for some new function in a stronger computational model. New function is obtained from the original one by combining it with some small gadget function. In this talk we will be interested in lifting from decision tree complexity to communication complexity. The major open problem in this area is to prove a lifting theorem for gadgets of constant size. The recent paper [Beame, Koroth, 2023] introduces semi-structured communication complexity, in which one of the players can only send parities of their input bits. They have shown that deterministic decision tree complexity can be lifted to semi-structured deterministic communication complexity using Indexing gadget of constant size. In this talk we will discuss the extension of this result to randomized case and to the larger family of gadgets. From our result it follows that deterministic/randomized decision tree complexity lifts to deterministic/randomized parity decision tree complexity. For randomized case this is the first result of this type. For deterministic case, our result improves the bound in [Chattopadhyay et al., 2023] for Inner Product gadget.

The talk is based on the joint paper with Alexander Shekhovtsov: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2025.78

➰ ВК

#матлог #спецсеминар #не_мехмат

В ближайшую среду 14 мая 2025 года заседание Логического семинара в МФТИ не состоится.
Следующее заседание 21 мая пройдет по расписанию и на нем будет продолжение доклада Льва Дворкина.

Мы приглашаем вас принять участие в Добрушинском семинара 13 мая в 16:15:
https://www.mathnet.ru/php/seminars.phtml?presentid=46212&option_lang=rus

Докладчик: М. А. Цфасман
Тема: Плотные упаковки шаров: обзор результатов и алгеброгеометрические конструкции

Аннотация: Я расскажу сегодняшнюю ситуацию с задачей о плотных упаковках равных шаров в Rn. В небольших размерностях, помимо классики, имеются знаменитые результаты Вязовской и результат Мусина о контактном числе. В больших размерностях (когда n стремится к бесконечности) сегодня идет борьба за логарифмические члены стохастическими методами. Но кроме того, имеются явные конструкции, исходя из полей алгебраических чисел и кривых над конечным полем.

➰ ВК

#матлог #учёба #спецсеминар

На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ

"Модальная и алгебраическая логика" и "Логические методы в информатике"

в ближайший четверг 15 мая, начало в 18:30, состоится два доклада по 45 минут.
Эти доклады будут предзащитами дипломных работ студентов 6 курса Мехмата МГУ

Докладчик 1: Елизавета Бахтина
Тема: О лесных логиках, расширяющих логику K+Alt_2
Аннотация:
Лесная логика – это пропозициональная модальная логика леса, т.е. дизъюнктного объединения деревьев. В докладе будут рассмотрены свойства лесных логик, являющихся расширениями логики K+Alt_2 (финитная аппроксимируемость, разрешимость и перечислимость), а также рассмотрен вопрос о количестве таких логик.

Докладчик 2: Лев Дворкин
Тема: Интерпретируемость модальных логик
Аннотация
Рассмотрим интерпретации одних модальных логик в других, при которых булевы связки интерпретируются тождественно, а модальность интерпретируется произвольной формулой A(p). Говорим, что формула A(p) монотонна/нормальна в логике L, если она задаёт интерпретацию монотонной/нормальной логики в L. Мы покажем, что в нормальных логиках с интерполяционным свойством Линдона все монотонные формулы эквивалентны позитивным, однако это неверно для произвольных нормальных логик. Также мы опишем все нормальные формулы в логиках K, GL, S4 и Grz с точностью до эквивалентности: в K и GL их бесконечное количество, а в S4 и Grz по пять нормальных формул. Мы покажем, что в логиках из отрезка [K; GL.3] интерпретируемо бесконечное количество различных нормальных логик, а в S4 и Grz интерпретируемо по пять нормальных логик.

Видеозаписи предыдущих докладов:

https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX

Веб-страница с аннотациями и слайдами:

http://logic.math.msu.ru/sem/ml/

Для получения ссылки Zoom пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!

➰ ВК

#матлог #учёба #просеминар

💥В четверг 15 мая на просеминаре по математической логике и информатике будет тема "Логика финитных задач (логика Медведева)" (Яна Захарова, студентка кафедры).

💯Аннотация. Доклад будет посвящен обзору логики финитных задач. Логика задач была предложена А.Н. Колмогоровым как попытка дать истолкование интуиционистской логики в рамках стандартных математических понятий. Ученик Колмогорова Ю.Т.Медведев описал формализацию логики задач, в которой задача мыслится как пара конечных множеств (все решения, правильные решения). При этом истинные логические формулы отождествляются с "всегда разрешимыми задачами".

✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://www.tg-me.com/+8lzSUf8ghLAzMjRi.
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.

➰ ВК

#матлог #учёба #спецсеминар

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

16 мая 2025 г.
Г. Г. Черевиченко
Обзор исчислений процессов.
Математический логик, занявшись computer science, обнаруживает там много исчислений, о которых он не слышал, некоторые из них весьма интересные, имеют довольно долгую историю и активно применяются в приложениях. Например, все новые протоколы (обмен паролями, куками и т.п.) проверяют специальными программами, основанными на pi-calculus Милнера (с тех пор как в 1995 году Gavin Lowe испытал одну из первых таких программ, взломал протокол Нидхема-Шрёдера и открыл атаку man in the middle). Докладчик расскажет о собственных проблемах при написании распределённой программы (объекты обмениваются сигналами) и попытках их формально описать и исследовать с помощью исчислений процессов, упор будет сделан на программу mCLR2
https://mcrl2.org/web/index.html
Можно также посмотреть видео к программе докладчика (регистрироваться не надо, надо найти кнопку "скачать")
https://mega.nz/file/igo0zDBC#JgIYMtie3UmKXgDgtWBKzXE25xPA-qvZuKMKQ3y8fFk

➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), Kontur Talk

19.05.2025 Михаил Панов (НИУ ВШЭ, Санкт-Петербург, https://www.hse.ru/org/persons/303615376/): Эпистемическая модель с ограниченно рациональными игроками (очный доклад)

Будет предложена общая и простая модель для анализа эпистемических оснований принятий решений в некооперативной теории игр. В модели игрок сталкивается со стратегической ситуацией, описанной эпистемической картиной — множеством утверждений, записанных на формальном языке. По эпистемической картине игрок строит пространство состояний и набор действий; формирует предпочтения над действиями; и выбирает оптимальное действие. У игрока конечный уровень рассуждений: в своё пространство состояний он включает все возможные варианты действий оппонентов с уровнем ниже своего.

В модели исследуется соответствие между эпистемическими картинами и порождаемым ими поведением. В частности, будут предложены достаточные условия, при которых это поведение будет устойчивым при (i) увеличении точности эпистемических картин, (ii) повышении уровня игроков, (iii) изменения развернутой формы игры. Также, будет дана переоценка эпистемических оснований нескольких основных некооперативных решений.

➰ ВК

#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email [email protected])

Ball, Liu, Mazor and Pass [BLMP23] proved that the existence of key-agreement protocols is equivalent to a certain estimate of interactive Kolmogorov complexity being in ioBPP. In the previous talk we stated the problem, explained that this estimation problem is decidable, and proved the backward impliciation (in the contra-positive, breaking a specific protocol provides an ioBPP algorithm for the estimation problem). In this talk we will briefly repeat everything and prove the forward implication (again in the contra-positive, with an ioBPP algorithm of the estimation problem we can break each protocol).

Notes: https://arxiv.org/pdf/2504.16311
The previous talk: https://www.youtube.com/watch?v=D1GdCXak0Nw

➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги,
приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 21 мая в 14:00.

Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.

К семинару можно подключиться дистанционно, для получения ссылки пишите на почту [email protected].

Докладчик: Дворкин Лев

Название: Финитная аппроксимируемость расширений wK4, наследуемых подшкалами (часть 2)

Подшкалой шкалы Крипке (X; R) называется подмножество S носителя X с индуцированным отношением достижимости. Логика L наследуется подшкалами Крипке, если класс её шкал Крипке замкнут относительно взятия подшкал. Файн доказал, что все полные по Крипке расширения K4, наследуемые подшкалами, финитно аппроксимируемы. Данный результат был усилен Захарьящевым на случай логик, наследуемых конфинальными подшкалами (подшкалами, носитель которых конфинален в исходной шкале). Доказательства Файна и Захарьящева основываются на семантике Крипке. Бежанишвилли, Гильярди и Джибладзе дали чисто алгебраическое доказательство результатов Файна и Захарьящева, одновременно обобщив их на расширения wK4 = K + p → p \/ p. Разбору доказательства последнего результата и посвящён доклад. В первой части мы обсудим некоторые факты, касающиеся алгебраической семантики модальных логик. В отличие от семантики Крипке, данной семантике уделяют мало времени в курсах по модальной логике, поэтому мы остановимся на ней достаточно подробно. Вторая часть посвящена непосредственно доказательству результата. От слушателей предполагается знание базовых фактов о модальных логиках и семантике Крипке.

➰ ВК

#матлог #учёба #спецсеминар

На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ

"Модальная и алгебраическая логика" и "Логические методы в информатике"

в ближайший четверг 22 мая, начало в 18:30, состоится доклад

А.С.Герасимов
(Санкт-Петербург, СПбПУ )

"Депренексификация в финитарных аналитических исчислениях для первопорядковой бесконечнозначной логики Лукасевича и полнота основанных на них инфинитарных исчислений"

В докладе рассматривается несколько финитарных аналитических гиперсеквенциальных исчислений для первопорядковой бесконечнозначной логики Лукасевича \L$\forall$, включая введённое Баацем (Baaz) и Меткалфом (Metcalfe) исчисление G\L$\forall$ для \L$\forall$. В этих исчислениях правило сечения не допустимо и, вообще говоря, формула и её (определённая чисто синтаксически) пренексная форма не равновыводимы. Однако мы предлагаем метод депренексификации, позволяющий любой вывод любой гиперсеквенции H, в которой выделено вхождение любой пренексной формы любой формулы F, алгоритмически перестроить в вывод гиперсеквенции, полученной из H заменой этого вхождения на F. С помощью этого метода мы устанавливаем полноту инфинитарных аналитических исчислений, основанных на вышеупомянутых финитарных исчислениях для \L$\forall$. В частности, даём первое верное доказательство полноты основанного на G\L$\forall$ инфинитарного аналитического исчисления для \L$\forall$.

Видеозаписи предыдущих докладов:

https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX

Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/

Для получения ссылки Zoom пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!

➰ ВК

#матлог #спецсеминар

В ближайшую пятницу (23 мая) в Институте языкознания РАН состоится заседание семинара "Некоторые применения математических методов в языкознании", на котором выступит Борис Николаевич Карлов, представитель тверской школы, известной своей математико-лингвистической традицией. Для участия в заседании (очно либо онлайн) необходимо зарегистрироваться по ссылке: https://forms.gle/PZBiDgLnyxkQqpAt6

Когда: 23 мая 2025 г. в 14:30
Где: Институт языкознания РАН, ауд. 10 (https://yandex.ru/maps/-/CHVNuN9b; первый этаж, по коридору налево) + онлайн
Докладчик: Борис Николаевич Карлов (Тверской государственный университет)
Тема: Лемма об обмене для категориальных грамматик зависимостей
Аннотация:
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
23 мая (пятница) в 18:30 состоится очередное заседание теоретического семинара "Формальная философия".

Тема доклада: Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса.

Докладчик: Иван Соболев (стажер-исследователь МЛ ЛогЛинФФ).

Аннотация: В работе «Логика и речевое общение» Пол Грайс предложил разделить значение высказывания на две основные части. Во-первых, это истинностное значение предложения, то, что сказано или семантическое содержание. Во-вторых, это импликатуры, которые, с одной стороны, порождаются с помощью прагматических феноменов при использовании выражений в определенном контексте, а с другой стороны, не влияют на истинность пропозиции, выраженной конкретными словами предложения. Но уже у самого Грайса мы можем найти упоминания некоторых феноменов естественного языка, которые явным образом не подпадают под эту дихотомию сказанного/имплицированного. В своем докладе я бы хотел подробней остановиться на примерах таких импликатур двойной природы: конвенциональных и обобщенных речевых. Я покажу, как прагматические расширения способны влиять на истинностный статус высказываний и как конвенциональное семантическое значение может оставаться инертным по отношению к сказанному.

Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1048098506.html

➰ ВК

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 23.05.2025 в 16:20

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту [email protected].

Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Саакян Степан

Название: Парадокс Ябло с точки зрения теории доказуемости

Аннотация.
Как известно, при замене истинности на доказуемость в парадоксе лжеца получается предложение Гёделя. "Это утверждение ложно" превращается в "Это утверждение недоказуемо", и после такой операции парадокс приводит к теореме. Что получится, если подобную замену проделать в парадоксе Ябло? Этим вопросом задались авторы статьи [1], изложением которой я и займусь.
Напомним формулировку парадокса: пусть существует счётная последовательность предложений, каждое из которых утверждает, что все следующие ложны. Рассуждениями, аналогичными таковым в парадоксе лжеца, можно довести это предположение до противоречия.
Оказывается, что замена истинности на доказуемость приводит к интересным результатам, связанным с теоремами Гёделя о неполноте и даже нестандартными моделями арифметики.

[1] Cieśliński, C., Urbaniak, R. Gödelizing the Yablo Sequence. J Philos Logic 42, 679–695 (2013). https://doi.org/10.1007/s10992-012-9244-4

➰ ВК

#матлог #спецсеминар #не_мехмат

Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ (ВШМ).
27 мая, вторник, 16:15, Адм. корпус ауд.322.
https://www.mathnet.ru/conf167

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный + трансляция в телемосте
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идете на семинар и не забудьте паспорт.

Мусин Олег (University of Texas Rio Grande Valley): Теоремы существования и быстрые алгоритмы для задач справедливого дележа.
Existence theorems and fast algorithms for fair division problems

Аннотация:
У известной проблемы справедливого дележа - долгая история. У этой задачи имеется множество форм и она возникает в многочисленных жизненных ситуациях. В этом докладе я рассмотрю теоремы существования для задач справедливой аренды и разрезания торта, а также обобщения этих теорем.
Вторая часть доклада - это совместная работа, которая была мотивирована публикацией в New York Times: "To Divide the Rent, Start With a Triangle" by Albert Sun (April 28, 2014)", к которой прилагается калькулятор для справедливой аренды, основанный на работе Фрэнсиса Су. В недавно опубликованной статье мы рассматриваем алгоритмическую сложность задач справедливого дележа и минимизацию количества запросов, необходимых для нахождения приближённого решения с желаемой точностью. Для нескольких классов задач справедливого дележа показано, что при определённых естественных условиях на множествах предпочтений достаточно логарифмического количества запросов относительно точности.

➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Обратите внимание на нестандартное время!
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 17:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk

02.06.2025, 17:00, совместно с семинаром С.И. Адяна, О.В. Сипачёва (МГУ, мехмат, https://www.mathnet.ru/rus/person12816): Топологические универсальные алгебры: симбиоз алгебры и топологии (очный доклад)

Топологическая универсальная алгебра, или просто топологическая алгебра, — это алгебраическая система без отношений, снабжённая топологией, относительно которой все операции непрерывны. Многообразием топологических алгебр называется любой класс топологических алгебр данной сигнатуры, замкнутый относительно произвольных произведений и перехода к подалгебрам и факторалгебрам. Согласно знаменитой теореме Биркгофа класс алгебр является многообразием тогда и только тогда, когда он задаётся некоторой совокупностью тождеств, т.е. состоит в точности из тех алгебр, в которых выполнены все тождества из данной совокупности.

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

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
30 мая (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.

Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).

Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.

Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1051159919.html

➰ ВК