Logic List Mailing Archive

"Reverse Mathematics: Foundations and Applications"

6-8 Nov 2009
Chicago IL, U.S.A.

Workshop on "Reverse Mathematics: Foundations and Applications"

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.

We expect to have a significant amount of funding for participants. If you 
are interested in attending, or have any questions, please contact one of 
the organizers:

Denis Hirschfeldt: drh@math.uchicago.edu
Damir Dzhafarov: damir@math.uchicago.edu

We would appreciate hearing from those interested in funding by September 
21st.

More information, including hotel information, will be available within a 
few days at www.math.uchicago.edu/~drh/workshop.html