ALGAR | Summer School

Summer School | 5 - 9 September 2022

In 2022, the ALGAR summer school aims to present ideas and techniques from constructive mathematics in relation to open problems in quadratic form theory. 

Some familiarity with the basics of quadratic form theory will be assumed, but no previous exposure to mathematical logic and constructive mathematics will be required. 

The lectures will be accompanied by exercise sessions and a couple of research talks.

Find out more.