dimacs logo color

Events

Event Calendar

« Previous Month

August 2026

Next Month »
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Seminar Details

The Univalent Foundations through UniMath and some combinatorial problems

  • Start Date: March 22, 2018
  • Event Start Time: 5:00 PM
  • Event End Time: 6:00 PM
  • Seminar Series: Experimental Math Seminar
  • Presenter(s): Dimitrios Tsementzis - Rutgers University
  • Event Location: Conference Room 705 | Rutgers University | Hill Center | 110 Frelinghuysen Rd
  • Presentation Type: Stand Alone Presentation
  • 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.