[FOM] Reverse Mathematics Workshop

Damir Dzhafarov damir at math.uchicago.edu
Fri Sep 11 09:41:18 EDT 2009

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 at math.uchicago.edu
Damir Dzhafarov: damir at 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

More information about the FOM mailing list