Flexiformal, Pluralistic, Foundation-Independent Representations of Mathematics
Speaker:
Michael Kohlhase, Jacobs University Bremen
Date and Time:
Wednesday, February 3, 2016 - 5:15pm to 6:15pm
Location:
Fields Institute, Room 230
