The final program for TIC 2000 to be held in Montreal as part of PLI 2000 is now available at http://www.cs.cmu.edu/~crary/tic00. Registration information for the workshop is available from the PLI 2000 web page, http://www.cs.yorku.ca/pli-00/. Robert Harper Program Chair