Effective aspects of measure theory and analysis

A special session of the 2006 ASL Annual Meeting in Montreal, May 17-21, 2006, organized by Jeremy Avigad and Reed Solomon.

The following people have agreed to speak:

• George Barmapalias (recursion theory)
• Mark Braverman (computational complexity)
• John Hitchcock (recursion theory)
• Joe Miller (recursion theory)
• Carl Mummert (reverse mathematics)
• Paulo Oliva (proof theory)
• Yuki Tanaka (reverse mathematics)
• Yimu Yin (effective aspects of model theory)
• Jeffery Zucker (computability over abstract structures)

In addition, Bas Spitters (constructive mathematics) will give a plenary lecture related to the topic.