I occasionally teach an advanced graduate course on Subsystems of Second Order Arithmetic and Reverse Mathematics, MATH 565. The most recent course announcement is here in several formats: PS, PDF, DVI, TeX, plain text.
My book Subsystems of Second Order Arithmetic was published in November 1998.
Click here for more information on foundations of mathematics.
Also of interest is the Penn State Logic Seminar.
email@example.com / 6 December 1998