PhD Program in Computer Science

Schedule

Schedule - Spring 2007

February 1	Sergei Artemov (Graduate Center, CUNY)	Title: Formalizing Plato's Theory of Knowledge
February 8	Subash Shankar (Hunter College, CUNY )	Title: Rule-Based Approaches to Equivalence Checking of Reactive Languages
February 22	Gabor Herman (Graduate Center, CUNY)	Title: Boundaries in Digital Spaces
March 1	Andrey Garnaev (St. Petersburg State University)	Title: Jamming and transmission games
March 8	Yuri Matiyasevich (Steklov Institute of Mathematics, St. Petersburg)	Title: Hilbert's Tenth Problem and Paradigms of Computation
March 15	Alexander Totok (IBM T.J. Watson Research Center)	Title: Towards Efficient And Manageable Component-Based Internet Services
March 29	Seraphin Calo (IBM Research)	Title: Research at IBM
April 12	Assaf Naor (Courant Institute, NYU)	Title: The story of the Sparsest Cut Problem
April 19	Wilson Shieh (Google)	Title: The Bigtable Project by Google
April 26	No meeting
May 3	Ioannis Stamos (CUNY-Hunter College)	Title: 3D Photography: Reconstructing Photorealistic 3D Models of Large-Scale Scenes.
May 10	Jim Robinson IV (RRE Ventures)	Title: When a venture capital company gets interested in a technology
May 17	SOCIAL SOFTWARE: Formal Methods in the Social and Political Sciences A Two-Day Conference at CUNY