Reverse Mathematics: Foundations and Applications

November 6-8, 2009
University of Chicago