A workshop entitled Reverse Mathematics: Foundations and Applications will be held at the
University of Chicago on November 6-8, 2009, with support from the
Air Force Office of Scientific Research.
While the workshop will be centered on the program of reverse mathematics, we intend its scope to be broad, including connections with the foundations of mathematics, computability theory, proof theory, constructive mathematics, theoretical computer science, and cognitive science, and we encourage those interested in these areas to participate.
Organizers
Denis Hirschfeldt (
drh@math.uchicago.edu) and Damir Dzhafarov (
damir@math.uchicago.edu, 765-409-5736)
Program Committee
Jeremy Avigad, Damir Dzhafarov, Harvey Friedman, Denis Hirschfeldt, Steve Simpson, and Pat Suppes