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                           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 Research Foundation

CUNY Ph.D. Programs in Computer Science, Mathematics, and Philosophy

image courtesy of Elena Nogina