Logic List Mailing Archive

Workshop on Reverse Mathematics

16-18 Sep 2011
Chicago IL, U.S.A.

A workshop on Reverse Mathematics will be held at the University of
Chicago on September 16-18, 2011, with support from the Packard
Foundation. 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,
and proof theory, and we encourage those interested in these areas to
participate.

Confirmed speakers so far include Jeremy Avigad, Peter Cholak, Harvey
Friedman, Carl Jockusch, Steffen Lempp, Alberto Marcone, Carl Mummert,
Michael Rathjen, Richard A. Shore, Stephen G. Simpson, Theodore A.
Slaman and Andreas Weieremann.

For more updated information see http://www.math.uchicago.edu/~antonio/RM11/

We expect to have a significant amount of funding for participants. If
you are interested in attending, and want to apply for funding, send
an email to antonio@math.uchicago.edu with the subject line "funding -
RM Workshop", before June 15th. We will then reply to everyone by the
end of June.

The organizers:
Denis Hirschfeldt
Antonio Montalban