The Computer Science Colloquium

Sergei Artemov
(CUNY Graduate Center)

"Kurt Gödel Centenary: His Legacy in Mathematics and Computer Science"

We will recall the life and work of Kurt Gödel and discuss his legacy in Mathematics and Computer Science.

The Colloquium is supported by generous contributions from the Bloomberg, Information Builders, Inc., and Netlogic, Inc.