• 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

    КОФЕ-БРЕЙК

    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

    КОФЕ-БРЕЙК

    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

    КОФЕ-БРЕЙК

    17.10–18.30

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

Программа

Программа летнней школы будет состоять из пяти мини-курсов:

  • И.В. Зайцев, Ю.С. Казаков, "Ключевые метатеоремы теории доказательств: нормализуемость выводов и устранимость сечения в интуиционистской логике"
  • Н.В. Ивлиева,  "Дизъюнкция в грамматической теории импликатур

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

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

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

 

двух отдельных лекций:

 

а также студенческой постерной секции.

Регистрация

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

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

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

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

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

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

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

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

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

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


 

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