60th Parallel Workshop on Constructivism and Proof Theory

May 20-21, 2013, Stockholm

The worskhop focusses on developments in 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

Those interested to attend or to give a talk should contact Henrik Forssell (forssell [at] math [dot] su [dot] se)

Further information about the workshop will be posted here shortly.

May 6, 2013, Erik Palmgren. Email: palmgren (at) math (dot) su (dot) se