Computer Science Colloquium
Schedule - Fall 2003
September 4
Yair Censor
(University of Haifa, Haifa, Israel)
Title:
Computerized Radiation Therapy Planning Using Projection Algorithms
September 11
Jacob T. Schwartz
(NYU)
Title:
Designing and implementing a proof verifier for set theory and analysis
September 18
Leo Reyzin
(Boston University)
Title:
Physically Observable Cryptography
September 25
Steve Zdancevich
(University of Pennsylvania)
Title:
Jif and Secure Program Partitioning
October 2
Baruch M. Schieber
(IBM T.J. Watson Research Center)
Title:
Resource Optimization in QoS Multicast Routing of
Real-Time Multimedia
October 9
Dan E. Willard
(SUNY, Albany)
Title:
Generalizations and Boundary Case Exceptions for the Second Incompleteness Theorem — Viewed from a Computer Science Perspective
October 16
Ken Perlin
(NYU)
Title:
Some Recent Graphics Research
October 23
Vaughan Pratt
(Stanford)
Title:
Transition and Cancellation in Concurrency and Branching Time
October 30
Stephanie Weirich
(University of Pennsylvania)
Title:
Unifying Nominal and Structural Ad-hoc Polymorphism
November 6
Eric Martin
(the University of NewSouth Wales, Sydney)
Title:
On learning theory and nonmonotonic reasoning
November 13
Pavel Naumov
(Penn State)
Titla:
Can a tree be false? - Data type constructors as logical connectives
November 20
Robert Haralick
(Graduate Center CUNY)
Title:
Torah codes controversy
November 27
Thanksgiving Recess
December 4
Andrew Yao
(Princeton University)
Title:
Algorithms for Quantum Communication
December 11
Steven J. Brams
(NYU)
Title:
VOTER SOVEREIGNTY AND ELECTION OUTCOMES
Back to Computer Science Colloquium
Back
to Computer Science Colloquium
