Aims & Scope
The twin concepts of "proof" and "computation" play a fundamental role in both mathematical logic and theoretical computer science. The aim of this CUSO Winter School in Mathematics and Computer Science is to introduce to students some important features of these concepts, focussing on topics such as proof theory and computability, duality and computation, and proof-theoretic applications in algebra. The meeting will also provide an excellent opportunity for doctoral students to meet leading practitioners in this field and hear about topics at the forefront of current research.