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

О школе

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

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

Программа

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

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

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

• 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

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

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

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