[FOM] 60th Parallel Workshop on Constructivism and Proof Theory

Erik Palmgren palmgren at math.su.se
Fri May 10 13:22:29 EDT 2013

With short notice we have the pleasure to organize a small workshop

60th Parallel Workshop on Constructivism and Proof Theory 

May 20-21, 2013, Stockholm

Organizers: Henrik Forssell and Erik Palmgren

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 at math.su.se)

More information about the workshop will be available
on the workshop web page

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130510/333a208c/attachment.html>

More information about the FOM mailing list