The Constructive in Logic and Applications
A Conference in Honor of the 60th Birthday of Sergei Artemov
May 23 – May 25, 2012
Graduate Center, City University of New York
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.
Distinguished logician Sergei Artemov is 60. 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.
Please visit the the REGISTRATION and INFORMATION PAGE for logistics and announced speakers.
For questions, email Info@ConstructivityAtCUNY.com. POSTER PDF / JPG
SCIENTIFIC COMMITTEE CONFERENCE ORGANIZERS
Anil Nerode Melvin Fitting
Melvin Fitting Evangelia Antonakos
Yegor Bryukhov
Evan Goris
Karen Kletter
Konstantinos Pouliasis
Çagil Tasdemir
Junhua Yu
This conference made possible with the sponsorship of
CUNY Graduate Center Provost’s Office
CUNY Ph.D. Programs in Computer Science, Mathematics, and Philosophy
image courtesy of Elena Nogina
