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