20-21 May 2013
Stockholm, Sweden
60th Parallel Workshop on Constructivism and Proof Theory May 20-21, 2013, Stockholm Organizers: Henrik Forssell and Erik Palmgren The workshop focusses on developments in general constructive methods and results in logic and mathematics. Invited speakers include Benno van den Berg, Utrecht University Douglas S. Bridges, University of Canterbury, New Zealand Eyvind Briseid, Oslo University, 59°55? North Jan von Plato, Helsinki University, 60°10? North Sam Sanders, Ghent University Venue: Department of Mathematics, Stockholm University, 59°19? North Those interested to attend, or to give a talk should contact Henrik Forssell (forssell@math.su.se) More information about the workshop will be available on the workshop web page www.math.su.se/~palmgren/parallel60.html