Schedule - Spring 2003
 

January 30	Moshe Y. Vardi (Rice University)	Title: And Logic Begat Computer Science: When Giants Roamed The Earth
February 6	Leonid Levin (Boston University)	Title: Forbidden Information
February 13	Joachim Frank (SUNY Albany)	Title: Structure and Dynamics of the Ribosome by 3D Cryo-electron Microscopy - a Computational Challenge
February 20	Rebecca Wright (Stevens Institute of Technology)	Title: Privacy in Today's World: Solutions and Challenges
February 27	Tandy Warnow (UT Austin)	Title: New Algorithms for Reconstructing Evolutionary Trees
March 6	Amir Pnueli (NYU and Weizmann Institute)	Title: Model-Checking and Abstraction to the Aid of Parameterized Systems
March 13	Michael Chan (GE Global Research)	Title: Assisting Speech Recognition with Machine Lipreading
March 20	Adam Finkelstein (Princeton)	Title: Modeling by Drawing
March 27	Attila Kuba (University of Szeged)	Title: Binary Emission Tomography
April 3	Philip Heidelberger (IBM T.J. Watson Research Center)	Title: Design and Analysis of the BlueGene/L Torus Interconnection Network
April 10	John Pfaltz (University of Virginia)	Title: Closure Operators in Image Analysis
April 17	Spring Recess
April 24	Spring Recess
May 1	Yechiam Yemini (Columbia University)	Title:The Network is the Storage
May 8	Haim Levkowitz (University of Massachusetts Lowell)	Title:A unified, XML-, Web-Based Framework, Architecture and Environment for Universal Access to, and Delivery of Text-Centered Contents
May 15	Software for the Working Mathematician