Spring 2003 Schedule

I audit CS 101c: Type Theory and Formal Methods (Nogin, 2-3-4).