|
Date |
Speaker |
Title |
Host |
Tuesday
8/24/04
10:00am |
Leslie
Lamport
Microsoft Research |
Recent Discoveries from Paxos |
Schneider |
|
9/9/04 |
Ian Foster
Argonne Natl Lab/
University of Chicago |
The Grid: Beyond the Hype |
Pingali |
|
9/16/04 |
Rosh Hashanah
|
|
9/23/04 |
Roy
Levin
Microsoft Research |
A Perspective on Systems Research |
Schneider |
|
9/30/04 |
Jeff
Hancock
Cornell, Dept of Communication |
Digital Deception: When, Where & How People Lie Online |
Van Loan
|
|
10/7/04 |
Jeff Hawkins
PalmOne/Redwood Neuroscience Inst. |
On Intelligence |
Constable |
|
10/14/04 |
Greg Andrews
NSF/University of Arizona |
What's New in CISE: Status Report and Strategic Directions |
Van Loan
|
|
10/21/04 |
Raymond Mooney
University of Texas at Austin |
Learning to Extract Proteins and their Interactions from Medline
Abstracts |
Cardie |
Tuesday
10/26/04
4:30pm,
B14 Hollister |
Amit Singhal
Google |
Challenges in Running a Commercial Web Search Engine |
|
10/28/04
253 Rhodes Hall |
Chris Jones
Amazon |
Real-time Supply Chain Management at Amazon
(OR&IE Seminar) |
|
|
11/4/04 |
George Necula
UC Berkeley |
The Open Verifier Framework for Constructing Code Verifiers
|
Constable |
|
11/11/04 |
Cynthia
Dwork
Microsoft Research |
Toward Privacy in Public Databases |
Hopcroft |
11/11/04
7:00pm
Statler, Ballroom B |
Cynthia
Dwork
Microsoft Research |
Distinguished Career Lecture Series
What Happened Next |
|
|
11/18/04 |
Wolfgang Paul
Saarland University |
Correctness of an Operating System Microkernel |
Hartmanis |
|
11/25/04 |
|
11/30/04
4:30pm
G10 Biotech |
Sorin Istrail
Celera Genomics |
Comparative Genomics Algorithms: From Genomics to Protein
Folding and to Systems |
Elber |
|
12/2/04 |
David Albonesi
Cornell, Electrical & Computer Engineering |
Nanoscale CMOS Microprocessors: Challenges and Directions
|
Van Loan
|
|
Spring 2005 Colloquia
from previous semesters:
Spring
2004
Fall 2003
Spring 2003
Fall 2002
Spring 2002
Fall 2001
Spring 2001
Fall 2000
Spring 2000
|
