Computer Science Colloquium
Schedule - Fall 2002
September 5
John Cherniavsky
(NSF)
Title:
NSF in the Federal Context
September 12
Jesse Barlow
(PennState - University Park)
Title:
Least Squares, Total Least Squares, and Image Processing
September 19
James Abello
(Dimacs - Rutgers)
Title:
Massive Graph Mining
September 26
John McCarthy
(Stanford)
Title:
The Logical Path to Human-Level Artificial Intelligence
October 3
Joshua Guttman
(Mitre Corporation, Boston)
Title:
Strand Spaces: Analyzing Cryptographic Protocols
October 10
Vladimir Lifschitz
(U. of Texas, Austin)
Title:
Answer Set Programming
October 17
Larry Shepp
(Rutgers)
Title:
Continuous mathematics vs. computer science
October 24
Samson Abramsky
(Oxford)
Title:
Algorithmic Game semantics and Software Model-Checking
October 31
Ken Birman
(Cornell)
Title:
After the Internet: Looking beyond the end of the Internet Revolution
November 7
Adrian Walker
(CTO, Reengineering LLC)
Title:
What not How -
Specification=Application in Internet Business Logic
November 14
J. David Schaffer
(Philips Research)
Title:
A Personal Perspective on 20 Years of Research and
Applications of Evolutionary Computation
November 21
Bud Mishra
(NYU)
Title:
Cell Talk
November 28
Thanksgiving recess
December 5
Aleskey Nogin
(CalTech)
Title:
Efficient Generic Theorem Proving
December 12
Michelle Zhou
(IBM T.J. Watson)
Title:
Responsive Information Architect - An integrated multimodal, multimedia conversation paradigm for information seeking
Back to Computer Science Colloquium
Back
to Computer Science Colloquium