23-25 May 2012, The Constructive in Logic and Applications, New York, U.S.A.

Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition.

This conference is in honor of the 60th birthday of the distinguished logician Sergei Artemov. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.

For more information, see http://fsw01.bcc.cuny.edu/evangelia.antonakos/file/ConstructivityAtCUNY.html