Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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.

Please note that this newsitem has been archived, and may contain outdated information or links.