Short Talks by Postdoctoral Members Type theory and formalization of mathematics Date & Time September 28, 2015 | 2:15pm – 2:30pm Location S-101 Speakers Anders Mörtberg, Institute for Advanced Study Affiliation Member, School of Mathematics Event Series Postdoctoral talks - math Categories Mathematics Academic Tags Postdoctoral Short Talks 2015-16
