Seminars & Colloquia Calendar

Download as iCal file

Experimental Mathematics Seminar

The Univalent Foundations through UniMath and some combinatorial problems 

Dimitrios Tsementzis, Rutgers University 

Location:  Hill 705
Date & time: Thursday, 22 March 2018 at 5:00PM - 5:48PM

Abstract:    The Univalent Foundations is a proposed foundation for mathematics in which the basic objects are spaces, rather than sets. I will introduce the basic ideas of the Univalent Foundations, explain how they are implemented in a computer using a formal system called UniMath, and discuss certain combinatorial problems that arise in this context that might be of interest to experimentalists. 

Special Note to All Travelers

Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.

Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.