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 7–11, 2021.
Furthermore, LP 2021 Conference is a part of the broader thematic programme including the following satellite events:
Formal Philosophy 2021 is organized by International Laboratory for Logic, Linguistics and Formal Philosophy at HSE University in Moscow.
The events are supported by:
- Simons Foundation;
- Steklov International Mathematical Center.
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center