WCLT2017

Workshop on Constructivism, Logic and Topology

Bern, Switzerland, 17 - 18 January 2017

Organizers: Gerhard Jaeger, Hans-Peter Künzi

Program

Abstracts of the talks

Participants

Photos

Slides

Directions and Venue

Accommodation

Contacts

jaeger@inf.unibe.ch

hans-peter.kunzi@uct.ac.za