60th Parallel Workshop on Constructivism and Proof Theory

May 20-21, 2013, Stockholm

Organisers: Henrik Forssell and Erik Palmgren

The worskhop focusses on developments in constructive methods and results in logic and mathematics.

Invited speakers include

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