DIMACS - RUTGERS EXPERIMENTAL MATHEMATICS SEMINAR

Sponsored by the Rutgers University Department of Mathematics and the
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)

Co-organizers:

Doron Zeilberger, Rutgers University, zeilberg {at} math [dot] rutgers [dot] edu

Bryan Ek, Rutgers University, bryan [dot] t [dot] ek {at} math [dot] rutgers [dot] edu

Title: The Univalent Foundations through UniMath and some combinatorial problems

Speaker: Dimitrios Tsementzis, Rutgers University

Date: Thursday, March 22, 2018 5:00pm

Location: Hill Center, Room 705, Rutgers University, Busch Campus, Piscataway, NJ

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.

See: http://sites.math.rutgers.edu/~bte14/expmath/