News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

7 - 11 June 2021, Logical Perspectives 2020/2021, Virtual and/or Moscow, Russia

Date: 7 - 11 June 2021
Location: Virtual and/or Moscow, Russia

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.

In view of the developing situation with COVID-19 in Russia, Logical Perspectives 2020 has moved to June 2021 and become Logical Perspectives 2021. The LP 2021 conference is part of the Logical Perspectives 2021 thematic programme, which also comprises the following additional events:
- LP 2021 Summer School & Workshop (June 14–19), focusing on computational proof theory, broadly understood, and providing early career scientists with an opportunity to attend advanced mini-courses and to present their own work.
- Formal Philosophy 2021 (June 21–23), focusing on applications of methods of mathematical logic to philosophy.
- Adian 90 Conference (July 5–8), dedicated to the 90th birthday of Sergei Adian (1931-2020). It will include talks by specialists in the area of logic, algebra and computation.

The events of the programme will be held either online or in a mixed format — including both virtual and traditional talks.

For more information, see http://lp2021.mi-ras.ru/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.