Universiteit van Amsterdam


Institute for Logic, Language and Computation

23 - 26 September 2017, Autumn School "Proof & Computation", Herrsching, Germany

Date: 23 - 26 September 2017
Location: Herrsching, Germany
Target audience: Graduate or PhD students and young postdoctoral researchers
Deadline: Tuesday 30 May 2017

An international autumn school "Proof and Computation" will be held from 23rd to 26th September 2017 at Haus der bayerischen Landwirtschaft Herrsching in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.