Short Talks by Postdoctoral Members Complexity of Equational Proof Systems Date & Time September 25, 2008 | 4:00pm – 5:00pm Location S-101 Speakers Pavel Hrubes, Institute for Advanced Study Affiliation Member, School of Mathematics Event Series Postdoctoral talks - math Categories Mathematics Academic Tags Postdoctoral Short Talks 2008-09
