In view of the developing situation with COVID-19 in Russia,
Logical Perspectives 2020 has moved to June 2021.
More information will be available soon.


The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to:

  • logical methods in mathematics;
  • logical methods in philosophy;
  • logical methods in computer science.
The first conference was held at Euler International Mathematical Institute in Saint Petersburg in 2018. The Second Logical Perspectives Conference will be held at Steklov Mathematical Institute in Moscow on June 8–12, 2020.

Furthermore, LP 2020 Conference is a part of the broader thematic programme including the following satellite events:

Formal Philosophy 2020 is organized by International Laboratory for Logic, Linguistics and Formal Philosophy at HSE University in Moscow.



The events are supported by: