Logic Matters
The 3d International seminar "Logic Matters" organized by the International Laboratory for Intelligent Systems and Structural Analysis Department of Data Analysis and Artificial Intelligence under the leadership of Sergei O. Kuznetsov was held on December 29, 2020. The experts from the world's leading universities gave their talks in the field of logic. Presentations were made by senior research fellow of the ISSA laboratory Stepan Kuznetsov (HSE), associate professor Dmitry Palchunov from Novosibirsk State University, Francesco Kriegel (Dresden Technical University), Mikhail Zakharyaschev (University of London), Max Kanovich (University College London), Stanislav Kikot (Birkbeck, London), and Olga Gerasimova, junior researcher and post-graduate student from Higher School of Economics.
Presented research was dedicated to the field of mathematical logic and its applications in theoretical computer science, which aroused great interest among the speakers and participants of the seminar.