Toward a new formalization of real numbers Date September 24, 2015 Speakers Catherine Lelay, Institute for Advanced Study Affiliation Member, School of Mathematics Files & Media lelay.pdf School of Mathematics Short Talks by Postdoctoral Members