COLLOQUIUM
NOTE Date change: Thursday, March 2 , 2006 - Dr. Peter Hoffman, Dept of Pure Mathematics, U. of Waterloo - Logic and Programming Languages