Международная лаборатория логики, лингвистики и формальной философии
https://llfp.hse.ru
Post #640
393
Channel Public Channel
ФО Формальная философия
@form_phil
- Subscribers
- 558
- Photos
- 384
- Videos
- 0
- Links
- 341
Showing posts older than #641 · Back to latest
Older Posts 15 shown
Post #639
503
Профессор Университета Индрапрастха (Дели, Индия) Санха Басу стал преподавателем весенней школы «Логика, лингвистика и формальная философия», https://www.hse.ru/news/edu/1150914202.html
- ❤ 4
- 👍 1
Post #638
599
Forwarded from Кафедра математической логики и теории алгоритмов мехмата МГУ
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 17.04.2026 в 16:20
Докладчик: Елена Попова
Тема: Логики свидетельств. Введение
Аннотация:
Доклад будет посвящен знакомству с логикой свидетельств. Язык данной логики получается добавлением к пропозициональному языку формул вида t:F, которые интерпретируются как “t есть свидетельство в пользу F”. Будут рассмотрены ключевые результаты: теорема о реализации, устанавливающая связь между логиками свидетельств и модальными логиками, а также арифметическая семантика для логики доказательств LP, которая позволила получить арифметическую интерпретацию для модальной логики S4. Будет дан обзор основных семантических моделей для логик свидетельств. В заключение планируется обозначить ряд открытых проблем и основные направления современных исследований.
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 17.04.2026 в 16:20
Докладчик: Елена Попова
Тема: Логики свидетельств. Введение
Аннотация:
Доклад будет посвящен знакомству с логикой свидетельств. Язык данной логики получается добавлением к пропозициональному языку формул вида t:F, которые интерпретируются как “t есть свидетельство в пользу F”. Будут рассмотрены ключевые результаты: теорема о реализации, устанавливающая связь между логиками свидетельств и модальными логиками, а также арифметическая семантика для логики доказательств LP, которая позволила получить арифметическую интерпретацию для модальной логики S4. Будет дан обзор основных семантических моделей для логик свидетельств. В заключение планируется обозначить ряд открытых проблем и основные направления современных исследований.
- ❤🔥 2
- 🔥 1
Post #637
2.06K
Формальная философия Photo
15 апреля в 18:10 состоится 119-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Фрегеанский подход к перцептивному содержанию.
Докладчик: Андрей Коченков (МГУ).
Аннотация: Доклад посвящен анализу фрегеанского подхода к содержанию восприятия. Согласно этому подходу, содержание восприятия конституируется перцептивными способами данности объектов и их свойств. Его главной альтернативой является расселианский анализ, согласно которому содержание восприятия конституируется самими внешними положениями дел, объектами и их свойствами. Я покажу, что фрегеанский подход справляется с затруднениями, возникающими в рамках расселианского анализа, а именно с объяснением мисрепрезентации, трактовкой воспринимаемых свойств и различий в содержании при совпадающих внешних условиях корректности восприятия. Затем я сформулирую ключевые проблемы фрегеанского подхода: риск непрямого восприятия и проблему объяснения метафизического статуса перцептивных способов данности. В связи с этими проблемами я разделяю фрегеанские теории на две группы: феноменологический и натуралистический анализы способов данности. Я покажу, как каждая из них справляется с указанными трудностями и приведу несколько доводов в пользу того, что натуралистический анализ делает это успешнее.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1148124960.html
Тема доклада: Фрегеанский подход к перцептивному содержанию.
Докладчик: Андрей Коченков (МГУ).
Аннотация: Доклад посвящен анализу фрегеанского подхода к содержанию восприятия. Согласно этому подходу, содержание восприятия конституируется перцептивными способами данности объектов и их свойств. Его главной альтернативой является расселианский анализ, согласно которому содержание восприятия конституируется самими внешними положениями дел, объектами и их свойствами. Я покажу, что фрегеанский подход справляется с затруднениями, возникающими в рамках расселианского анализа, а именно с объяснением мисрепрезентации, трактовкой воспринимаемых свойств и различий в содержании при совпадающих внешних условиях корректности восприятия. Затем я сформулирую ключевые проблемы фрегеанского подхода: риск непрямого восприятия и проблему объяснения метафизического статуса перцептивных способов данности. В связи с этими проблемами я разделяю фрегеанские теории на две группы: феноменологический и натуралистический анализы способов данности. Я покажу, как каждая из них справляется с указанными трудностями и приведу несколько доводов в пользу того, что натуралистический анализ делает это успешнее.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1148124960.html
- ❤🔥 8
- 🔥 1
Post #636
1.53K
- ❤ 6
- 👍 1
Post #635
544
Формальная философия Photo
8 апреля в 18:10 состоится 118-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Плюральная квантификация и теорема Кантора: семантические предпосылки аргумента Расмуссена против граундингового физикализма.
Докладчик: Александр Гавриков и Устина Морозова.
Аннотация: Доклад посвящён аргументу Расмуссена и Бейли (2020) против физикализма, основанного на метафизике граундинга. Авторы вводят плюральные кванторы для квантификации по совокупностям не-ментальных граундов и, используя теорему Кантора, доказывают, что типов мыслей больше, чем типов граундов. Отсюда следует, что не всякая мысль может иметь не-ментальный граунд.
В докладе будут рассмотрены три семантики плюральных кванторов: (1) стандартная теоретико-множественная, (2) интерпретация Булоса через перевод на естественный язык, (3) плюральная семантика Хенкина (Флорио и Линнебо). Будет показано, при каких семантических допущениях аргумент работает, а при каких — нет.
Доклад планируется в двух частях. Первая часть (докладчик — Устина Морозова) — введение в физикализм, grounding и формулировка целевой теории. Вторая часть (докладчик — Александр Гавриков) — реконструкция аргумента и анализ семантик плюральной квантификации.
Ссылки:
Rasmussen, J., & Bailey, A. M. (2020). How to build a thought. Thought: A Journal of Philosophy, 9(2), 75–83.
Fine, K. (2012). Guide to ground. In F. Correia & B. Schnieder (Eds.), Metaphysical Grounding. CUP.
Florio, S., & Linnebo, Ø. (2021). The Many and the One. OUP.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1145015053.html
llfp.hse.ru Доклад Александра Гаврикова и Устины Морозовой «Плюральная квантификация и теорема Кантора: семантические предпосылки аргумента… 8 апреля в 18:10 состоится 118-е заседание научно-теоретического семинара «Формальная философия». Тема доклада: Плюральная квантификация и теорема Кантора: семантические предпосылки аргумента Расмуссена против граундингового физикализма.
Докладчик: Александр Гавриков и Устина Морозова.
Аннотация: Доклад посвящён аргументу Расмуссена и Бейли (2020) против физикализма, основанного на метафизике граундинга. Авторы вводят плюральные кванторы для квантификации по совокупностям не-ментальных граундов и, используя теорему Кантора, доказывают, что типов мыслей больше, чем типов граундов. Отсюда следует, что не всякая мысль может иметь не-ментальный граунд.
В докладе будут рассмотрены три семантики плюральных кванторов: (1) стандартная теоретико-множественная, (2) интерпретация Булоса через перевод на естественный язык, (3) плюральная семантика Хенкина (Флорио и Линнебо). Будет показано, при каких семантических допущениях аргумент работает, а при каких — нет.
Доклад планируется в двух частях. Первая часть (докладчик — Устина Морозова) — введение в физикализм, grounding и формулировка целевой теории. Вторая часть (докладчик — Александр Гавриков) — реконструкция аргумента и анализ семантик плюральной квантификации.
Ссылки:
Rasmussen, J., & Bailey, A. M. (2020). How to build a thought. Thought: A Journal of Philosophy, 9(2), 75–83.
Fine, K. (2012). Guide to ground. In F. Correia & B. Schnieder (Eds.), Metaphysical Grounding. CUP.
Florio, S., & Linnebo, Ø. (2021). The Many and the One. OUP.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1145015053.html
- 🤣 12
- ❤ 4
- 😨 3
- 🗿 2
- 🏆 1
Post #634
359
- 🔥 3
- 😨 2
Post #633
339
Forwarded from Философия обиженного языка
На следующей неделе доклад в НУЛ Трансцендентальной философии 16 апреля в 16.00.
"Мыслящее Оно": И. Кант и возможность "трансцендентального материализма"
В «Критике чистого разума» Кант предлагал опровержение материализма и утверждал, что «Критика» является одним из средств от него. Материализм опровергается посредством указания на то, что материя, будучи всего лишь явлением, несовместима с мышлением. Материальное явление, будучи составной вещью, не может содержать единства, требующегося для возможности мышления. Однако, опровергнув материализм, Кант замечает, что его философия не может исключить возможность того, что то, что является нам в качестве материи во внешнем чувстве, в то же самое время является нам во внутреннем в качестве мышления. Сам Кант не развивает эту линию рассуждения, полагая, что, рассуждая о таких вещах, мы переступаем через границу того, что можно знать. Однако возможность трансцендентального материализма или спинозизма возникает в обсуждении кантовской философии современниками. Один из них ‐‐ К. фон Кноблаух ‐‐ использует приведенные кантовские замечания как раз в качестве аргумента в пользу возможности мыслящей материи или спинозизма.
В докладе будет представлена реконструкция кантовских паралогизмов в отношении вопроса о материализме, показано, в каком смысле можно говорить о возможности трансцендентального материализма в кантовской теории, показано, какие возможные проблемы она для нее создает, и какие у Канта есть ресурсы по мх разрешению. Затем я перейду к демонстрации того, как вопрос о трансцендентальном материализме разбирается в текстах упомянутого Кноблауха, а также К. Л. Рейнгольда и ряда других фигур.
hum.hse.ru Доклад Максима Евстигнеева «"Мыслящее Оно": И. Кант и возможность "трансцендентального материализма"» 16 апреля на базе Научно-учебной лаборатории трансцендентальной философии состоится доклад Максима Евстигнеева «"Мыслящее Оно": И. Кант и возможность "трансцендентального материализма"» "Мыслящее Оно": И. Кант и возможность "трансцендентального материализма"
В «Критике чистого разума» Кант предлагал опровержение материализма и утверждал, что «Критика» является одним из средств от него. Материализм опровергается посредством указания на то, что материя, будучи всего лишь явлением, несовместима с мышлением. Материальное явление, будучи составной вещью, не может содержать единства, требующегося для возможности мышления. Однако, опровергнув материализм, Кант замечает, что его философия не может исключить возможность того, что то, что является нам в качестве материи во внешнем чувстве, в то же самое время является нам во внутреннем в качестве мышления. Сам Кант не развивает эту линию рассуждения, полагая, что, рассуждая о таких вещах, мы переступаем через границу того, что можно знать. Однако возможность трансцендентального материализма или спинозизма возникает в обсуждении кантовской философии современниками. Один из них ‐‐ К. фон Кноблаух ‐‐ использует приведенные кантовские замечания как раз в качестве аргумента в пользу возможности мыслящей материи или спинозизма.
В докладе будет представлена реконструкция кантовских паралогизмов в отношении вопроса о материализме, показано, в каком смысле можно говорить о возможности трансцендентального материализма в кантовской теории, показано, какие возможные проблемы она для нее создает, и какие у Канта есть ресурсы по мх разрешению. Затем я перейду к демонстрации того, как вопрос о трансцендентальном материализме разбирается в текстах упомянутого Кноблауха, а также К. Л. Рейнгольда и ряда других фигур.
- 👍 2
- 🎄 2
Post #632
326
Forwarded from Кафедра математической логики и теории алгоритмов мехмата МГУ
#матлог #учёба #спецсеминар
8 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение)
Аннотация:
Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.
Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.
От слушателей предполагается знакомство с основами семантики Крипке.
Ссылки:
[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.
8 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.
Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533
Л.В. Дворкин (МГУ)
PSpace-разрешимость модальных логик древовидных шкал (продолжение)
Аннотация:
Доклад посвящён доказательству PSpace-разрешимости для широкого класса нормальных модальных логик. В основе метода лежит следующая идея: если формула совместна с логикой, то она выполнима в модели, имеющей древовидную структуру с полиномиальными ограничениями на высоту, ветвление и размер кластеров. При построении такой модели достаточно хранить в памяти лишь одну ветвь дерева, имеющую полиномиальный размер. Данная идея восходит к работам И.Б. Шапировского [1, 2], который развил её для транзитивных логик. Однако единая теорема, формулирующая условия на класс древовидных шкал, гарантирующие PSpace-разрешимость, ранее явно не была представлена. В докладе мы сформулируем и докажем такой общий результат.
Доклад планируется в двух частях. Сначала мы подробно разберём доказательство для базового случая, т.е. для логики K, введём ключевые понятия и сформулируем общие условия, гарантирующие PSpace-разрешимость. Затем мы докажем основную теорему и покажем, как она применяется к различным логикам: транзитивным (K4, S4, GL, S4.2), логике с симметричным отношением (KB), а также некоторым предтранзитивным и временным логикам.
От слушателей предполагается знакомство с основами семантики Крипке.
Ссылки:
[1] I.B. Shapirovsky. On PSPACE-decidability in transitive modal logic. In: R. Schmidt et al. (eds.), Advances in Modal Logic, Vol. 5, 269–287. College Publications, 2005.
[2] I.B. Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Transactions on Computational Logic 23(3), 1–25, 2022.
Post #631
334
Forwarded from БЛОКНОТ ФИЛОСОФА
📖Доклад Матвея Сысоева «Феноменальное единство сознания и мереологические метафоры»
👤 На базе научно-учебной лаборатории трансцендентальной философии с докладом выступит Матвей Сысоев, кандидат философских наук.
⏩Доклад будет посвящён рассмотрению понятия феноменального единства сознания в его связи с мереологической метафорой. Будут кратко рассмотрены понятие феноменального единства сознания, понятие ментальных состояний, а также основные философские подходы к анализу феноменального единства сознания: атомизм Б. Дэйнтона, холизм Т. Бэйна, подход единого поля Дж. Сёрла и подход «одного опыта» М. Тая.
📌 Мероприятие состоится 8 апреля в 16:00 онлайн по ссылке.
#НУЛТФ@philosnote
#полезныематериалы@philosnote
👤 На базе научно-учебной лаборатории трансцендентальной философии с докладом выступит Матвей Сысоев, кандидат философских наук.
⏩Доклад будет посвящён рассмотрению понятия феноменального единства сознания в его связи с мереологической метафорой. Будут кратко рассмотрены понятие феноменального единства сознания, понятие ментальных состояний, а также основные философские подходы к анализу феноменального единства сознания: атомизм Б. Дэйнтона, холизм Т. Бэйна, подход единого поля Дж. Сёрла и подход «одного опыта» М. Тая.
📌 Мероприятие состоится 8 апреля в 16:00 онлайн по ссылке.
#НУЛТФ@philosnote
#полезныематериалы@philosnote
- ❤ 1
- 👍 1
Post #629
546
Формальная философия Photo
1 апреля в 18:10 состоится 117-е заседание научно-теоретического семинара «Формальная философия».
Тема доклада: Логический нигилизм и универсальная логика.
Докладчик: Юлия Копчева (студентка ШФиК, стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Данное исследование посвящено взаимосвязи двух современных направлений в философии логики: логического нигилизма и универсальной логики. Исследование мотивировано продолжающимися дискуссиями между логическими монистами и плюралистами о природе логического следования и возможности существования универсальной логической системы. Основная цель доклада – обосновать тезис о том, что, несмотря на различия, логический нигилизм и универсальная логика разделяют схожие принципы, что позволяет рассматривать нигилизм как часть программы универсальной логики.
В работе представлен детальный анализ программы, предложенной Дж. Рассел и другими представителями нигилизма, выявлены их критические требования к отношению следования и обращение к феноменам естественного языка. Одновременно с этим рассматривается концепция универсальной логики Ж.-И. Безье как абстрактной метатеории, призванной описывать мета-свойства различных логических систем. С помощью сравнительного и теоретико-проблемного методов демонстрируется, что оба подхода основаны на критике универсальности классических систем и используют сходный аппарат. Исследование приходит к выводу о существовании глубокой концептуальной взаимосвязи между этими направлениями, в рамках которой негативные результаты проекта универсальной логики служат подтверждению аргументов логических нигилистов.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1143172340.html?_r=32919551774947479.06931&__t=8708284&__r=OK
Тема доклада: Логический нигилизм и универсальная логика.
Докладчик: Юлия Копчева (студентка ШФиК, стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Данное исследование посвящено взаимосвязи двух современных направлений в философии логики: логического нигилизма и универсальной логики. Исследование мотивировано продолжающимися дискуссиями между логическими монистами и плюралистами о природе логического следования и возможности существования универсальной логической системы. Основная цель доклада – обосновать тезис о том, что, несмотря на различия, логический нигилизм и универсальная логика разделяют схожие принципы, что позволяет рассматривать нигилизм как часть программы универсальной логики.
В работе представлен детальный анализ программы, предложенной Дж. Рассел и другими представителями нигилизма, выявлены их критические требования к отношению следования и обращение к феноменам естественного языка. Одновременно с этим рассматривается концепция универсальной логики Ж.-И. Безье как абстрактной метатеории, призванной описывать мета-свойства различных логических систем. С помощью сравнительного и теоретико-проблемного методов демонстрируется, что оба подхода основаны на критике универсальности классических систем и используют сходный аппарат. Исследование приходит к выводу о существовании глубокой концептуальной взаимосвязи между этими направлениями, в рамках которой негативные результаты проекта универсальной логики служат подтверждению аргументов логических нигилистов.
_____________________
Ждём вас в кабинете А-117 или в Zoom!
Анонс и регистрация: https://llfp.hse.ru/announcements/1143172340.html?_r=32919551774947479.06931&__t=8708284&__r=OK
- ❤ 3
- 🔥 1
Post #628
429
- ❤ 2
- 🔥 1
Post #627
355
Forwarded from Кафедра математической логики и теории алгоритмов мехмата МГУ
#матлог #наука #конференция
Молодёжный коллоквиум по математической логике и её приложениям
(31 августа–4 сентября 2026 г., МИАН, Москва, ул. Губкина, 8, https://www.mathnet.ru/conf2744)
Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию:
⚡Искандер Шагитович Калимуллин (КФУ, https://kpfu.ru/Iskander.Kalimullin): Теорема рекурсии и критерии полноты
⚡Алексей Леонидович Таламбуца (МИАН, https://www.mathnet.ru/person/20324): Алгоритмические проблемы для матричных полугрупп
⚡Валентин Борисович Шехтман (МФТИ, https://www.mathnet.ru/person/37158): Семантики модальных предикатных логик
К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий:
👉 возраст докладчика на момент начала коллоквиума — до 39 лет включительно;
👉 очный доклад (вместе с тем онлайн-участие без доклада будет возможно);
👉 тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном (https://disk.yandex.ru/d/Jc8n3g_vF3tEng), иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов.
Для подачи тезисов просьба использовать регистрационную форму (https://forms.yandex.ru/u/69c699d5902902d410ad120b). Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк.
‼Важнейшие даты
регистрация на участие с докладом — не позднее 01.08.2026
регистрация на участие без доклада — не позднее 26.08.2026
даты проведения: c 31.08.2026 по 04.09.2026
Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.
Молодёжный коллоквиум по математической логике и её приложениям
(31 августа–4 сентября 2026 г., МИАН, Москва, ул. Губкина, 8, https://www.mathnet.ru/conf2744)
Цель коллоквиума — познакомить молодых исследователей, включая студентов и аспирантов, с перспективными направлениями развития математической логики и предоставить им возможность выступить с докладами по результатам своих исследований. Параллельно с выступлениями молодых исследователей в рамках коллоквиума планируется чтение нескольких мини-курсов (по 2–3 лекции каждый), ориентированных на широкую аудиторию:
⚡Искандер Шагитович Калимуллин (КФУ, https://kpfu.ru/Iskander.Kalimullin): Теорема рекурсии и критерии полноты
⚡Алексей Леонидович Таламбуца (МИАН, https://www.mathnet.ru/person/20324): Алгоритмические проблемы для матричных полугрупп
⚡Валентин Борисович Шехтман (МФТИ, https://www.mathnet.ru/person/37158): Семантики модальных предикатных логик
К участию с докладом приглашаются молодые исследователи, в том числе студенты и аспиранты, при соблюдении следующих условий:
👉 возраст докладчика на момент начала коллоквиума — до 39 лет включительно;
👉 очный доклад (вместе с тем онлайн-участие без доклада будет возможно);
👉 тезисы доклада должны быть оформлены в соответствии с прилагаемым шаблоном (https://disk.yandex.ru/d/Jc8n3g_vF3tEng), иметь объём от одной до двух страниц, включая список литературы, и содержать ясную формулировку основных результатов.
Для подачи тезисов просьба использовать регистрационную форму (https://forms.yandex.ru/u/69c699d5902902d410ad120b). Решение о принятии или отклонении тезисов принимает оргкомитет. Допускаются доклады по работам в соавторстве при условии, что очный докладчик удовлетворяет условию 1 выше. Участвовать без доклада могут все желающие, как очно, так и дистанционно; онлайн-подключение планируется организовать через Контур.Толк.
‼Важнейшие даты
регистрация на участие с докладом — не позднее 01.08.2026
регистрация на участие без доклада — не позднее 26.08.2026
даты проведения: c 31.08.2026 по 04.09.2026
Решения о принятии или отклонении тезисов принимаются в течение 10 рабочих дней с момента подачи.
- 👍 1
Post #622
434
Подошла к концу весенняя школа «Логика, лингвистика и формальная философия»
спасибо всем, кто принимал участие ❤️
спасибо всем, кто принимал участие ❤️
- ❤🔥 10
- 👍 3
- 🔥 1
Post #618
382
пятый день весенней школы
- ❤🔥 4
- 👍 4
- 🔥 1