We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.

  • A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

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.