Registration:

As the conference is a part of the program Logical Perspectives 2021 which will take place in Moscow in June-July 2021,
we kindly request all participants to follow the common registration procedure.

If interested, you may also register for participating in all events of the program with the same registration form:

LP 2021 Conference, June 7–11

This conference will bring together distinguished logicians in order to present their perspectives on the future of the field.

LP 2021 Summer School & Workshop, June 14–19

These events will focus on computational proof theory, broadly understood. In particular, they will provide early career scientists with an opportunity to attend advanced mini-courses and to present their own work.

Formal Philosophy 2021, June 21–23

This conference is organized by the Laboratory of Formal Philosophy at HSE. It will focus on applications of methods of mathematical logic to philosophy.

Adian 90 Conference, July 5–8

This event is 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.
With the exception of Formal Philosophy 2021, the non‑virtual part will take place at Steklov Mathematical Institute in Moscow.