60th Parallel Workshop on Constructivism and Proof Theory
Organizers: Henrik Forssell and Erik Palmgren
Time: Mon 2013-05-20 09.00 - Tue 2013-05-21 16.00
Location: Department of Mathematics, Stockholm University
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 .