Computer Science Colloquium Series, Spring 2005

Regular time and location: Tuesdays and Thursdays at 4:15pm in B17 Upson Hall, unless otherwise indicated.

Date	Speaker	Title	Host
2/3/05	Ramin Zabih Cornell	Graph Cut Algorithms for Computer Vision and Medical Imaging
Tuesday 2/8/05	Adam Siepel UC Santa Cruz	Comparative Mammalian Genomics: Models of Evolution and Detection of Functional Elements	Elber/Keich
2/10/05	Michael Macy Cornell	Group Dynamics in Silico: Complex Networks and the Human Flock
Tuesday 2/15/05	Saurabh Sinha The Rockefeller University	Hidden Markov Models and Mutant Fruitflies: A Case Study in Computational Biology	Elber
2/17/05	Brian Bershad University of Washington	The Data Turbine	Sirer
Tuesday 3/1/05	Karen Sparck-Jones Cambridge University	Salton Lecture Series Natural Language Information Processing: Words and Tasks, Statistics and Models	Cardie
Monday 3/7/05 5130 Upson	Sumit Gulwani UC Berkeley	Program Analysis Using Random Interpretation	Rugina
Tuesday 3/8/05	Shivnath Babu Stanford University	Adaptive Query Processing	Shanmugasundaram
3/10/05	Michael Brudno UC Berkeley	Alignment of Whole Genomes: Techniques and Algorithms	Elber
Monday 3/14/05 5130 Upson	Prasanna Ganesan Stanford University	Data Management in Peer-to-Peer Systems	Gehrke
Tuesday 3/15/05	Nick Feamster MIT	Robust Internet Routing	Birman
3/17/05	Lakshmi Subramanian UC Berkeley	Decentralized Security Mechanisms for Internet Routing	Francis
Tuesday 3/22/05	Spring Break
3/24/05	Spring Break
Monday 3/28/05 5130 Upson	Mikhail Alekhnovich Institute for Advanced Study	Hard Satisfiable Instances for DPLL Algorithms and Other Common Models of Computation	Kozen
Tuesday 3/29/05	Aditya Akella Carnegie Mellon University	End Point-Based Routing Strategies for Improving Internet Performance	Francis
3/31/05	Robert Kleinberg MIT	Adaptive Algorithms for Price-Setting and Overlay Routing	Tardos
Monday 4/4/05 5130 Upson	Shuchi Chawla Carnegie Mellon University	Algorithms for Path-Planning	Tardos
Tuesday 4/5/05	Yanlei Diao UC Berkeley	Query Processing for Large-Scale XML Message Brokering	Gehrke
4/7/05	Raj Reddy Carnegie Mellon University	Salton Lecture Series The Million Book Digital Library Project	Gries
Tuesday 4/12/05	Rod Brooks MIT	Salton Lecture Series Flesh and Machines: Robots and People	Selman
4/14/05	Sorin Lerner University of Washington	Automatically Checking the Correctness of Program Analyses and Transformations	Myers
Tuesday 4/19/05	Muthian Sivathanu University of Wisconsin Madison	Semantically-Smart Disk Systems	Sirer
4/21/05	Manuela Veloso Carnegie Mellon University	Integrated Perception, Cognition, and Action in Teams of Robots	Gomes
Tuesday 4/26/05	William R. Pulleyblank IBM	BlueGene and Business Optimization	Shmoys
5/5/05	K. Mani Chandy Caltech	Sense and Respond Systems	Manohar

Colloquia from previous semesters:
Fall 2004
Spring 2004
Fall 2003
Spring 2003
Fall 2002
Spring 2002
Fall 2001
Spring 2001
Fall 2000
Spring 2000

Please direct any comments or questions about this site to collo@cs.cornell.edu