❗️В Международной лаборатории логики, лингвистики и формальной философии идет набор на позицию постдока. Подробнее по ссылке:
https://postdocru.hse.ru/projects2025

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

Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов

Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова

2 апреля 2025 г., среда, 18:30

Главное здание, сектор "А", ауд. 16-04

✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К.
✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е.
✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.

➰ ВК

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

19-21 июня 2025 года в Московском университете состоится международная научная конференция

«Четырнадцатые Смирновские чтения по логике»,

посвященная памяти выдающихся исследователей в области логики, методологии и философии науки Владимира Александровича и Елены Дмитриевны Смирновых.

Организаторы конференции: философский факультет МГУ имени М.В. Ломоносова, Институт философии РАН, Фонд логико-философских исследований.

В рамках конференции планируется проведение двух пленарных заседаний и работа секций:
- Символическая логика,
- Философская логика,
- История логики,
- Логика научного познания.

Основные мероприятия конференции планируется проводить в очном формате, отдельные заседания возможны в формате он-лайн.

Информация о конференции будет размещена на официальном сайте мероприятия http://www.smirnovreadings.ru

Материалы конференции будут опубликованы. Участники конференции предоставляют свои научные результаты в формате небольших статей в размере от 2 до 4 страниц выходного PDF файла (5000-10000 знаков стандартного неформульного текста). Статьи принимаются до 30 апреля 2025 года. Формат принимаемых файлов:
1) Тексты статей, содержащих формульные выражения, должны быть подготовлены только с помощью системы набора текста LaTeX (необходим исходный файл с расширением .tex), с использованием стилевого файла и инструкции для правильного оформления текста, размещенных на сайте конференции в разделе подача тезисов.
2) Текст без формульных выражений можно подготовить в формате MS Word. Авторы могут представить свои работы как на английском языке, так и на русском языке. Русскоязычный текст сопровождается также названием и аннотацией на английском языке (см. инструкцию). Обращаем ваше внимание на особенности в порядке проведения конференции.
Планируется выделение специальной подсекции, в рамках которой все выступающие будут делать доклады на английском языке.

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

Подача статей. Статьи подаются через электронную почту [email protected]

Персональные данные. Участники предоставляют в оргкомитет более детальные персональные данные, заполнив анкету участника, форму которой можно скачать на сайте конференции в разделе подача тезисов.

Контактная информация:
Адрес электронной почты Оргкомитета: [email protected]
Телефон оргкомитета: +7 (495) 939-18-46

➰ ВК

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

CCR 2025: CALL FOR ABSTRACTS

========
18th International Conference on Computability, Complexity and Randomness (CCR 2025)
https://ccr2025.sciencesconf.org/

June 16-20, 2025, LaBRI, University of Bordeaux, France

========

TOPICS:
* Algorithmic randomness
* Computability theory
* Kolmogorov complexity
* Computational complexity
* Reverse mathematics and logic

========

SUBMISSION INFORMATION:

Authors are invited to submit an extended abstract of 1-2 pages on the conference website. Submissions can be done at any time and notification of acceptance or rejection will be sent shortly after submission. The deadline for submitting an abstract is April 30, 2025.

========

INVITED SPEAKERS:

* Elvira Mayordomo (Universidad de Zaragoza, Spain)
* Joseph Miller (University of Wisconsin–Madison, USA)
* Kenshi Miyabe (Meiji University, Japan)
* Raul Santhanam (Oxford University, UK)
* Andrea Sorbi (Università degli Studi di Siena, Italy)

========

SCIENTIFIC PROGRAM COMMITTEE:

* Laurent Bienvenu (CNRS & Université de Bordeaux, France), co-chair
* Satyadev Nandakumar (IIT Kanpur, India)
* Takako Nemoto (Tohoku University, Japan)
* Cristobal Rojas (Universidad Católica de Chile, Chile)
* Andrei Romashchenko (CNRS & Université de Montpellier, France)
* Paul Shafer (University of Leeds, UK), co-chair
* Sebastiaan Terwijn (Radboud University, Netherlands)
* Francesca Zaffora-Blando (Carnegie-Mellon University, USA)

========

LOCAL ORGANIZERS:

* Laurent Bienvenu
* Subin Pulari
* Ivan Titov

========

ABOUT THE CONFERENCE:

CCR 2025 is the 18th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), Lake Kochel (Germany) and Nagoya (Japan).

This year's edition will be colocated with the annual meeting of the French community in computability and related topics (`Journées Calculabilités').

========

FUNDING:

Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following the instructions here: https://aslonline.org/student-travel-awards/

➰ ВК

4 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".

Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.

Докладчик: Арсен Вольский.

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

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

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

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

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

‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту [email protected].

Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.

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

Докладчик: Антон Кащенко

Тема: Топологический квадрат логики S4.1

Аннотация.

Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.

➰ ВК

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

Journées sur les Arithmétiques Faibles
Weak Arithmetics Days 44

https://workshop.math.cas.cz/JAF44/

8-10 September 2025, Prague, Czech Republic
Aim. Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science, by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms. Previous JAFs.

Topics. Proofs in arithmetic with restricted system of axioms; non-standard models of such systems; decidability, undecidability, and complexity of arithmetical theories; definability in arithmetic structures; machines, automata and words, related to arithmetic; finite model theory, word structures.

Location. Institute of Mathematics, Czech Academy of Sciences. The institute is in the centre of Prague, a few minutes walk from Wenceslas Square.

Programme. TBA; confirmed speakers

Albert Atserias, Technical University of Catalonia
Leszek Kołodziejczyk, University of Warsaw
Jan Krajíček, Charles University
Contributed papers. Authors are invited to send an abstract not exceeding three pages as an electronic submission in the form of a pdf file, to be sent both to [email protected] and to [email protected]. Submissions are to be received before 2 June 2025. Authors will be notified of acceptance before 5 July 2025.

Registration. To register, send your details (full name, affiliation, planned dates of arrival and departure) to [email protected]. There is no conference fee.

Financial support. We have some funds to support students coming to Prague to attend the conference. Please contact Neil Thapen, [email protected], to apply.

Contact. For any enquires contact Patrick Cégielski, [email protected] or Neil Thapen, [email protected].

JAF steering committee. Patrick Cégielski (Paris XII), Julien Cervelle (Paris XII), Andrés Córdon-Franco (Seville), Ali Enayat (Göteborg), Costas Dimitracopoulos (Athens), Alex Esbelin (Clermont-Ferrand), Neil Thapen (CAS)

Local organizing committee. Neil Thapen (CAS), Pavel Hrubeš (CAS), Ondřej Ježil (Charles University)

➰ ВК

#матлог #не_мехмат

В ближайшие две среды, 9 и 16 апреля 2025 г., С.Л. Кузнецов прочитает две лекции в рамках курса «Coq» в Центральном университете.

Первая лекция будет посвящена вычислительным возможностям различных версий лямбда-исчисления. Будет рассказано, что в бестиповом лямбда-исчислении представимы все вычислимые функции, а также охарактеризованы подклассы всюду определённых вычислимых функций, представимых в простом типовом лямбда-исчислении и лямбда-исчислении второго порядка (система F).

На второй лекции будет рассказано о доказательстве непротиворечивости исчисления индуктивных конструкций (CIC — базовое исчисление системы Coq) в рамках теории множеств ZFC со счётным набором недостижимых кардиналов, а также обратное кодирование соответствующих расширений ZFC в Coq, по статье Б. Вернера 1997 г.

Место: учебный корпус Центрального университета, Москва, ул. Гашека, д. 7, аудитория F304 (3 этаж, из лифтов перейти по мосту и прямо)
Время: 9 и 16 апреля, 19:30

Для посещения нужно получить пропуск. Для этого нужно написать в телеграм Владу Пимкину @delamelicon, что идёте на лекцию С.Л.Кузнецова в среду. Желательно сделать это не позднее вторника.

➰ ВК

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

🔥Возобновляет работу семинар "Некоторые применения математических методов в языкознании"! Это старейший семинар по математической лингвистике в России, одним из первых организаторов которого был Владимир Андреевич Успенский, в котором принимали участие Алексей Всеволодович Гладкий, Игорь Александрович Мельчук, Елена Викторовна Падучева и другие известные ученые. С 2025 года семинар проводится совместно Московским государственным университетом им. М.В. Ломоносова и Российской академией наук — Математическим институтом и Институтом языкознания.

Заседания будут проходить поочередно в ИЯз РАН и МИАН.

Когда: 11 апреля 2025 года, 14:30
Где: Институт языкознания РАН (Большой Кисловский пер., д. 1, стр. 1), конференц-зал + онлайн (ссылка отправляется зарегистрированным участникам)
Кто: Сергей Георгиевич Татевосов, Петр Олегович Россяйкин
Название: "Новое в семантике: о двух явлениях и всем остальном"
Аннотация:
В этом докладе мы рассмотрим несколько сюжетов, которые вписываются в две аналитические тенденции современной формальной семантики: (i) модальный анализ языковых выражений и явлений, традиционно не относимых к модальным; (ii) семантический анализ явлений, традиционно относимых к прагматике. А именно, преимущественно на материале русского языка, мы обсудим некоторые аргументы в пользу синтаксического представления речевых актов и модальный анализ перфектива (и, по возможности, некоторых других грамматических сущностей).

Для оформления пропуска в Институт языкознания или для получения ссылки для подключения онлайн необходимо заполнить форму до 23:59 10 апреля: https://forms.gle/jFsZcNFbbx15GskT7

Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia

➰ ВК

12 апреля в 14:30 состоится очередное заседание ридинг-семинара «Analytics». Начнется чтение новой статьи: Joel J. Kupperman «The Indispensability of Character». Встреча пройдет в гибридном формате - очно в каб. А117 по адресу Москва, ул. Старая Басманная, д. 21/4 и онлайн в Zoom. Дальнейшие подробности по ссылке: https://www.group-telegram.com/+B3UPwOcK5ao0Y2E6

11 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".

Тема доклада: Black Boxes: The Semantics and Logic of Obliterative Modalities.

Докладчик: Элиа Дзардини.

Аннотация: If we wish to analyse knowability (and similar notions) in terms of some kind of possibility of knowledge, troubles quickly arise if the possibility in question is supposed to obey some very basic modal principles (like law 4 or the law of distribution). In this paper, I first provide an informal explanation of the notion of possibility in question. I then proceed to show how this informal explanation can be turned into a natural formal possible-world semantics with a multiplicity of accessibility relations, which gives rise to a nonregular modal logic that avoids the above-mentioned troubles. After introducing a sound and complete axiomatization of the logic, I close by mentioning some philosophically interesting directions in which the basic system can be extended or modified.

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

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

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

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

14.04.2025 L. D. Beklemishev: Fragments of arithmetic and cyclic proofs (onsite, https://homepage.mi-ras.ru/~bekl/)

(jww with Daniyar Shamkanov and Ivan Smirnov)

We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we show how various traditional subsystems of Peano arithmetic defined by restricted forms of induction can be represented as fragments of the proposed system.

➰ ВК