Logical Perspectives 2021: Summer School and Workshop

The Logical Perspectives Summer School and Workshop Series aims at giving advanced introductions into various branches of logic, and providing researchers — including early career scientists — an opportunity to present their work. In particular, LP 2021 SSW will be concerned with computational proof theory, broadly understood. More precisely, the programme will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.

It should be noted that LP 2021 Summer School and Workshop is a part of the broader thematic programme including the following events:

LP 2021 Conference, June 7–11;
Formal Philosophy 2021 Conference, June 21–23;
Adian 90: Conference on Logic, Algebra & Computation, July 5–7.

Among the other logic-related events that will take place in Russia during this period are:

12th Smirnov Readings in Logic, June 24–26;
16th International Computer Science Symposium in Russia, June 28–July 2.

The Zoom broadcast link will be sent to the registered participants only. To register, please visit http://lp2021.mi-ras.ru/participation.html.

Финансовая поддержка. Конференция проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614) и Фонда Саймонса.

Вебсайт: https://lp2021.mi-ras.ru/workshop.html