Workshop: Constructive Mathematics
Dates: August 6-10, 2018
Venue: HIM lecture hall, Poppelsdorfer Allee 45, Bonn
Organizers: Douglas S. Bridges, Hajime Ishihara, Helmut Schwichtenberg
Topics: Exact real arithmetic (Gray-code), complexity (linear 2-sorted arithmetic for polytime algorithms), convexity in constructive analysis (constructive operations research), constructive topology (Formal point-free topology versus Bishop's approach, type theoretic interpretations)