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

[Erik Palmgren]

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

www.math.su.se/~palmgren/parallel60.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130510/333a208c/attachment.html>