The Computer Science Colloquium




 

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

365 Fifth Ave, New York City 10016 | Room 4319 | Phone: 212.817.8190 | Fax: 212.817.1510 | compsci@gc.cuny.edu