• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

О школе

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

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

Программа

  • 30.06

    A-307

    14.00–14.40

    РЕГИСТРАЦИЯ И ОТКРЫТИЕ

    14.40–16.00

    C.П. Одинцов, «Конструктивные семантики и IF-логика» 1/3

    16.00–16.20

    ПЕРЕРЫВ

    16.20-17.40

    А.В. Подобряев, «Квантификация переменной силы в языках мира» 1/3

    17.40-18.00

    ПЕРЕРЫВ

    18.00–19.20

    Н.В. Ивлиева, «Дизъюнкция в грамматической теории импликатур» 1/2

    19.20–20.00

    КОФЕ-БРЕЙК (А-117)

    20.00–21.20 / 2:00 –3:20 PM BRT

    Itala Maria Loffredo D'Ottaviano, Ricardo Peraça Cavassane, «Pragmatic Nonsense» (online)

  • 01.07

    A-307

    12.40–14.00

    А. А. Оноприенко, «Модальные напарники интуиционистской логики и её расширений» 1/3

    14.00–15.20

    ПЕРЕРЫВ

    15.20–16.40

    А.В. Подобряев, «Квантификация переменной силы в языках мира» 2/3

    16.40–17.10

    КОФЕ-БРЕЙК (А-117)

    17.10–18.30
  • 02.07

    A-307 

    11.00–12.20

    C.П. Одинцов, «Конструктивные семантики и IF-логика» 2/3

    12.20–12.40

    ПЕРЕРЫВ

    12.40–14.00

    А. А. Оноприенко, «Модальные напарники интуиционистской логики и её расширений» 2/3

    14.00–15.20

    ПЕРЕРЫВ

    15.20–16.40

    А.В. Подобряев, «Квантификация переменной силы в языках мира» 3/3

    16.40–17.10

    КОФЕ-БРЕЙК (А-117)

    17.10–18.30

    Н.В. Ивлиева, «Дизъюнкция в грамматической теории импликатур» 2/2

  • 03.07

    A-307

    12.40–14.00

    А. А. Оноприенко, «Модальные напарники интуиционистской логики и её расширений» 3/3

    14.00–15.20

    ПЕРЕРЫВ

    15.20–16.40

    И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 1/4

    16.40–17.10

    КОФЕ-БРЕЙК (А-117)

    17.10–18.30

    И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 2/4

  • 04.07

    A-307

    11.00–12.20

    C.П. Одинцов, «Конструктивные семантики и IF-логика» 3/3

    12.20–12.40

    ПЕРЕРЫВ

    12.40–14.00

    И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 3/4

    14.00–15.20

    ПЕРЕРЫВ

    15.20–16.40 (9:20–10:40 AM BRT)

    Fábio Maia Bertato, «Deontic and Axiological Concepts and Values in Formal Ethics» (online)

    16.40–17.10

    КОФЕ-БРЕЙК (А-117)

    17.10–18.30

    И.В. Зайцев, Ю.С. Казаков, «Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике» 4/4

    18.30–19.00

    ЗАКРЫТИЕ

Программа постерной секции

  • К.А. Козятник (Томский государственный университет), «Интуиционизм в математике: философские основы, основные принципы и влияние на современное математическое мышление»
  • Т.С. Трубинов (БФУ им. И. Канта), «Категориальный подход к энтропии информации и его применение в спецификации формальных онтологий для интеллектуальных систем»
  • А.С. Шарапов (Томский государственный университет), «Модальная логика первого порядка: табличное исчисление Kvd с возможностью доказательства открытых формул»

Регистрация

Сроки регистрации: до 1 июня 2025

Уведомление об отборе: 10 июня 2025

Подать заявку на участие в школе

Тревел-гранты для студентов и аспирантов

Сроки подачи заявки: до 25 мая 2025

Уведомление об отборе: 30 мая 2025

Критерии отбора: мотивационное письмо, качество тезисов для доклада на постерной секции

Подать заявку на тревел-грант

Постерная секция

В программе летней школы предусмотрена постерная секция. Прием заявок на участие в постерной секции (дополнительно к участникам-победителям конкурса тревел-грантов) будет запущен отдельно для очных участников летней школы. 


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.