Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20-21 May 2013, 60th Parallel Workshop on Constructivism and Proof Theory, Stockholm, Sweden

Date: 20-21 May 2013
Location: Stockholm, Sweden

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

Invited speakers include Benno van den Berg, Douglas S. Bridges, Eyvind Briseid, Jan von Plato and Sam Sanders

Those interested to attend, or to give a talk should contact Henrik Forssell () More information about the workshop is available on the workshop web page at http://www.math.su.se/~palmgren/parallel60.html.

Please note that this newsitem has been archived, and may contain outdated information or links.