The Computer Science Colloquium
Schedule - Spring 2009
| February 5 | Stephanie Weirich (University of Pennsylvania) |
Title: Engineering Formal Metatheory |
| February 19 | Chris Bregler (NYU) |
Title: From Eye-Balls to Ball-Games: Capturing Human Motion |
| February 26 | Andre Scedrov (University of Pennsylvania) |
Title: Formal Analysis of Kerberos 5 Authentication Protocol |
| March 5 | YingLi Tian (City College, CUNY) |
Title: Digital Video Analytics and Intelligent Event Based Surveillance |
| March 12 | Steve Zdancewic (University of Pennsylvania) |
Title: Aura: A Programming Language with Authorization and Audit |
| March 19 | Heidi Picher Dempsey (BBN Technologies Inc.) |
Title: GENI Overview & Plans |
| March 26 | Jyzef Dodziuk (Queens College and the Graduate Center) |
Title: Expanding graphs and combinatorial Laplacian |
| April 2 | Dinesh C. Verma (IBM) |
Title: Principles of Systems Management |
| April 23 | Wade Tinney (Large Animal Games) |
Title: Computer Games |
| April 30 | Sergei Artemov (Graduate Center) |
Title: On Logical Foundations of Game Theory |
| May 7 | Michael O. Rabin (Harvard University and Google Research) |
Title: Practical Zero Knowledge Proofs and Financial Cryptography |
| May 14 | Michael A. Bender (Stony Brook University and Tokutek) Title: An Adaptive Packed-Memory Array |
|
The Colloquium is supported by generous contributions from
the Bloomberg, Information Builders, Inc., and Netlogic,
Inc.
365 Fifth Ave, New York City 10016 | Room 4319 | Phone: 212.817.8190 | Fax: 212.817.1510 | compsci@gc.cuny.edu