Description

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 — with an opportunity to present their work.

In particular, LP 2021 Summer School (June 14–16) and Workshop (June 17–19) will focus on computational proof theory, broadly understood. The programme will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.

Lecture Courses


Each of the courses will consist of three 90-min lectures.

Contributed Talks

The list of talks can be found here. The corresponding submissions have been subject to light reviewing.

Schedule

The LP 2021 Summer School schedule can be downloaded here. The LP 2021 Workshop schedule can be found here.

Note: On June 17, there will be another event at Steklov Mathematical Institute, namely at 14:00 Vladimir Podolski will defend his Doctor of Science thesis (in Russian) — see here for details. If you wish to attend this event, let us know via lp2021@mi-ras.ru.

Programme Committee

Organising Committee