Летняя школа "Логика, лингвистика и формальная философия"
О школе
Летняя школа - традиционное мероприятие, которое проводится Международной лабораторией логики, лингвистики и формальной философии уже в пятый раз (о предыдущих школах: 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-логика"
-
А. А. Оноприенко, "Модальные напарники интуиционистской логики и её расширений"
-
А.В. Подобряев, "Квантификация переменной силы в языках мира"
двух отдельных лекций:
- Fabio Bertato, "Deontic and Axiological Concepts and Values in Formal Ethics"
- Itala Maria Loffredo D'Ottaviano, Ricardo Peraça Cavassane, "Pragmatic Nonsense"
а также студенческой постерной секции.
Регистрация
Сроки регистрации: до 1 июня 2025
Уведомление об отборе: 10 июня 2025
Подать заявку на участие в школе
Тревел-гранты для студентов и аспирантов
Сроки подачи заявки: до 25 мая 2025
Уведомление об отборе: 30 мая 2025
Критерии отбора: мотивационное письмо, качество тезисов для доклада на постерной секции
Постерная секция
В программе летней школы предусмотрена постерная секция. Прием заявок на участие в постерной секции (дополнительно к участникам-победителям конкурса тревел-грантов) будет запущен отдельно для очных участников летней школы.
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.