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 — an opportunity to present their work. In particular, LP 2021 SW 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.

Lecture Courses


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

Contributed Talks

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

Programme Committee

Organising Committee