2008 Fall Colloquium Lecture Series Our Lectures are held weekly on Tuesday and/or Thursday Wu and Chen Auditorium Levine Hall, 3330 Walnut Street from 3:00 p.m. to 4:15 p.m. (Unless otherwise noted)

 

Tuesday, April 8, 2008	CIS Colloquia
Jean Gallier
Department of Computer & Information Science University of Pennsylvania
Surface Reconstruction from Discrete Data

Thursday, May 1, 2008	Saul Gorn Memorial Lecture
Ronald L Rivest
Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology
Title: "Security of Voting Systems"

Monday, May 5, 2008	CIS Colloquia
Konstantinos Daskalakis
Department of Electrical Engineering and Computer Science. University of California, Berkeley
Title: Computing Equilibria in Games

Thursday, September 4, 2008	CIS Research Seminar
Rajeev Alur
Dept. of Computer and Information Science
Talk:: Software Model Checking

Thursday, September 11, 2008	CIS Research Seminar
Milo Martin
Dept. of Computer and Information Science
Talk:: HardBound: Architectural Support for Spatial Safety of the C Programming Language

Tuesday, September 16, 2008	CIS Research Seminar
Zack Ives
Dept. of Computer and Information Science
Talk:: Orchestra: Sharing Inconsistent Data in a Consistent Way

Thursday, September 18, 2008	Distinguished Lecture
Paul Francis
Computer Science Dept.
Cornell University
Talk: Scaling Internet Routing with Legacy Routers

Thursday, September 25, 2008	Distinguished Lecture
Valentina Salapura
Exploratory Server Systems Group IBM T.J. Watson Research Center
Talk: Scaling Up Next Generation Supercomputers

Thursday, October 16, 2008	Distinguished Lecture
Alex Aiken
Computer Science Dept Stanford University
Talk:Verifying a Security Property of an Operating System

Thursday, October 23, 2008	Provost Dist. Internatioanl Scholor
Andy Yao
Center for Advanced Study Tsinghua University
Talk: Secure Multiparty Computation and Percolation Theory

Tuesday, October 28, 2008	Distinguished Lecture
Merrick Furst
College of Computing Georgia Tech
Talk: Threads: Restructuring Computer Science Curricula for a Flat World

Tuesday, November 4, 2008	CIS Research Seminar
Ani Nenkova
Dept. of Computer and Information Science
Talk:: Modeling text quality in newspaper text and machine translation

Thursday, November 6, 2008	CIS Research Seminar
Jean Gallier
Dept. of Computer and Information Science
Talk:: What is a Proof?

Tuesday, November 11, 2008	CIS Research Seminar
Ben Taskar
Dept. of Computer and Information Science
Talk:: From Co-occurrence to Correspondence

Thursday, November 13, 2008	Distinguished Lecture
Guy Blelloch
Department of Computer Science Carnegie Mellon University
Talk: Parallel Thinking

Tuesday, November 18, 2008	CIS Research Seminar
Oleg Sokolsky
Dept. of Computer and Information Science
Talk:: Runtime Verification

Thursday, November 20, 2008	Distinguished Lecture
Umesh Vazirani
Berkeley Quantum Computing Center Computer Science Division University of California at Berkeley
Talk: The truth about quantum computers

Tuesday, November 25, 2008	CIS Research Seminar
Robin Permantle
Dept. of Mathematics
Talk:: An upper bound on the time for quadratic sieving

Tuesday, December 2, 2008	Grace Hopper Distinguished Lecture
Anna Karlin
University of Washington
Talk:: A Survey of Some Recent Research at the Border of Game Theory, Algorithms and Economics.

Thursday, December 4, 2008	Distinguished Lecture
Doug Burger
Computer Sciences and Electrical & Computer Engineering University of Texas
Talk:: The Golden Age of Architecture (?)

 

ARCHIVES

 

2008 Departmental Colloquia

2007 Departmental Colloquia

2006 Departmental Colloquia
2005 Departmental Colloquia
2004 Departmental Colloquia
2003 Departmental Colloquia
2002 Departmental Colloquia
2001 Departmental Colloqui