Schedule - Spring 2004

January 29	Teunis J. Ott (New Jersey Institute of Technology)	Title: Mathematical Modeling of TCP and TCP-like protocols
February 5	Jason Hickey (Caltech)	Title: Constructing Compilers in a Formal Logical Framework
February 12	Lincoln’s Birthday. The Graduate Center is closed.
February 19	Bart Selman (Cornell)	Title: Recent Advances in Fast Large-Scale Reasoning Methods
February 26	Howard Karloff (AT&T Labs – Research)	Title: Opt vs. Load in Dynamic Storage Allocation
March 4	Joel Karp (UPenn)	Title: Time-of-Flight Positron Emission Tomography: Data Collection and Reconstruction Algorithm
March 11	Herbert Edelsbrunner (Duke)	Title: A combinatorial algorithm based on Jacobi sets of multiple Morse functions
March 18	Horacio Arlo-Costa (Carnegie-Mellon)	Title: Conditional Probability, Non-Monotonic Inference and Abduction
March 25	Jan Krajicek (Institute for Advanced Study, Princeton)	Title: Proof complexity and bounded arithmetic
April 1	Rakesh (Teddy) Kumar (Sarnoff Corporation, Princeton)	Title: Exploitation of 3D data: mapping and sub-linear object recognition
April 8	Spring Recess.
April 15	Vladimir Uspensky (Moscow University)	Title: Kolmogorov's program of algorithmic reconstruction of information theory
April 22	Jose-Maria Carazo (Centro Nacional de Biotecnologia-CSIC)	Title: In the Quest of Order: The role of pattern recognition in microscopy image analysis
April 29	Stephen Pizer (University of North Carolina at Chapel Hill)	Title: Computer Representation of Objects and Multi-Objects in Populations or in Motion
May 6	Giorgi Japaridze (Villanova University)	Title: Computability Logic
May 13	Dennis Shasha (NYU)	Title: Upstart Puzzles
May 25	Arnon Avron   (Tel Aviv University)	Title: Safety Relations in Formal Logical Languages and Their Applications
June 12	Workshop "New developments in Logics of Knowledge and Belief"