60th Parallel Workshop on Constructivism and Proof Theory
Organizers: Henrik Forssell and Erik Palmgren
Tid: Må 2013-05-20 kl 09.00 - Ti 2013-05-21 kl 16.00
Plats: 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 .