Summer school "Logic, Linguistics and Formal Philosophy"
About the school
The summer school is a traditional event that is organized by the International Laboratory for Logic, Linguistics and Formal Philosophy for the fifth time (about previous schools: 2021, 2022, 2023, 2024). In 2025, the summer school is organized in partnership with the Scientific and Educational Laboratory on Formal Models in Linguistics and the Center for Logic, Epistemology and History of Science (University Campinas). The school's program will consist of a series of mini-courses, individual lectures, and a poster section.
Dates of the event: June 30 — July 4, 2025
Location of the event: Moscow, st. Staraya Basmannaya, 21/4, room A-307
Format: classes are offered onsite with parallel broadcast in Zoom
Payment: participation in the school is free of charge
Participant support: the organizers will be able to support the participation of a small number of students and graduate students selected through the travel grant competition
The speakers of the summer school
Researcher in the Centre for Logic, Epistemology and the History of Science (CLE) at the University of Campinas (UNICAMP), associate director of CLE
Research Assistant
Research Fellow
Postdoctoral Researcher at the Centre for Logic, Epistemology and the History of Science (CLE), University of Campinas, Brazil
Research Assistant
Professor
Professor (Full) at State University of Campinas (UNICAMP)
Associate Professor
Associate Professor
Program
-
30.06
A-307
14.00–14.40
REGISTRATION AND OPENING
14.40–16.00
S.P. Odintsov, "Constructive semantics and IF logic" 1/3
16.00–16.20
BREAK
16.20-17.40
A.V. Podobryaev, "Quantification of variable power in the languages of the world" 1/3
17.40-18.00
BREAK
18.00–19.20
N.V. Ivlieva, "Disjunction in the grammatical theory of implicatures" 1/2
19.20–20.00
COFFEE BREAK (A-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
A. A. Onoprienko, "Modal companions of intuitionistic logic and its extensions" 1/3
14.00–15.20
BREAK
15.20–16.40
A.V. Podobryaev, "Quantification of variable power in the languages of the world" 2/3
16.40–17.10
COFFEE BREAK (A-117)
17.10–18.30
Poster section (A-117)
-
02.07
A-307
11.00–12.20
S.P. Odintsov, "Constructive semantics and IF logic" 2/3
12.20–12.40
BREAK
12.40–14.00
A. A. Onoprienko, "Modal companions of intuitionistic logic and its extensions" 2/3
14.00–15.20
BREAK
15.20–16.40
A.V. Podobryaev, "Quantification of variable power in the languages of the world" 3/3
16.40–17.10
COFFEE BREAK (A-117)
17.10–18.30
N.V. Ivlieva, "Disjunction in the grammatical theory of implicatures" 2/2
-
03.07
A-307
12.40–14.00
A.A. Onoprienko, "Modal companions of intuitionistic logic and its extensions" 3/3
14.00–15.20
BREAK
15.20–16.40
I.V. Zaitsev, Yu.S. Kazakov, "Key meta-theorems of proof theory: normalizability of derivations and cut-elimination in intuitionistic logic" 1/4
16.40–17.10
COFFEE BREAK (A-117)
17.10–18.30
I.V. Zaitsev, Yu.S. Kazakov, "Key meta-theorems of proof theory: normalizability of derivations and cut-elimination in intuitionistic logic" 2/4
-
04.07
A-307
11.00–12.20
S.P. Odintsov, "Constructive semantics and IF logic" 3/3
12.20–12.40
BREAK
12.40–14.00
I.V. Zaitsev, Yu.S. Kazakov, "Key meta-theorems of proof theory: normalizability of derivations and cut-elimination in intuitionistic logic" 3/4
14.00–15.20
BREAK
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
COFFEE BREAK (A-117)
17.10–18.30
I.V. Zaitsev, Yu.S. Kazakov, "Key meta-theorems of proof theory: normalizability of derivations and cut-elimination in intuitionistic logic" 1/4
18.30–19.00
CLOSING
Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.