'Proof', Berne, Switzerland, 9-13 September 2013 www.humboldt-kolleg.iam.unibe.ch/ International Conference within the Frame of Humboldt-Kollegs [For admin and other information see: http://www.mta.ca/~cat-dist/ ]