Department of

# Mathematics

Seminar Calendar
for events the day of Friday, October 15, 2021.

.
events for the
events containing

More information on this calendar program is available.
Questions regarding events or the calendar should be directed to Tori Corkery.
    September 2021          October 2021          November 2021
Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa
1  2  3  4                   1  2       1  2  3  4  5  6
5  6  7  8  9 10 11    3  4  5  6  7  8  9    7  8  9 10 11 12 13
12 13 14 15 16 17 18   10 11 12 13 14 15 16   14 15 16 17 18 19 20
19 20 21 22 23 24 25   17 18 19 20 21 22 23   21 22 23 24 25 26 27
26 27 28 29 30         24 25 26 27 28 29 30   28 29 30
31


Friday, October 15, 2021

3:00 pm in 243 Altgeld Hall,Friday, October 15, 2021

#### Cellular homotopy type theory: why and how?

###### Samuel Hsu (UIUC Math)

Abstract: In this talk we will give some motivations for cellular homotopy type theory, by first looking at its expected semantics and discussing some applications and related literature. We will then go over a bit of basic machinery that goes into the semantics. Despite the title, we won't actually spend much time on syntax, instead focusing on connections to other work in homotopy theory, algebraic topology, and higher category theory, at least when n=1 i.e. the simplicial case. No prior knowledge of the topics is assumed.

4:00 pm in Altgeld Hall 347,Friday, October 15, 2021

#### Introduction to Geometric Group Theory and Hyperbolicity

###### Marissa Miller (UIUC)

Abstract: Geometric group theory is an area of math that relates groups to metric spaces via their actions on these spaces. Studying the geometric and topological properties of the metric spaces on which groups act can give information about the algebraic properties of a group, as well as the geometric properties of a group (a notion which I will make precise in the talk). I will discuss some of the basic ideas in geometric group theory, and I will provide some examples of theorems in geometric group theory using Gromov-hyperbolic groups.