Name: Category Theory Seminar: Formalizing ∞-Category Theory in Lean
Start: 2024-12-09T15:00:00-05:00
End: 2024-12-09T16:00:00-05:00
Location: Krieger 413

There are no events on this day.

October 28

October 28 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Daniel Carranza (JHU)

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

November 4

November 4 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Emily Riehl (JHU)

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

November 11

November 11 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Emily Riehl (JHU)

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

November 18

November 18 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

November 25

November 25 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Formalizing ∞-Category Theory in Lean

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

There are no events on this day.

0 events, 27

0 events, 27

1 event, 28

1 event, 28

0 events, 29

0 events, 29

0 events, 30

0 events, 30

0 events, 31

0 events, 31

0 events, 1

0 events, 1

0 events, 2

0 events, 2

0 events, 3

0 events, 3

1 event, 4

1 event, 4

0 events, 5

0 events, 5

0 events, 6

0 events, 6

0 events, 7

0 events, 7

0 events, 8

0 events, 8

0 events, 9

0 events, 9

0 events, 10

0 events, 10

1 event, 11

1 event, 11

0 events, 12

0 events, 12

0 events, 13

0 events, 13

0 events, 14

0 events, 14

0 events, 15

0 events, 15

0 events, 16

0 events, 16

0 events, 17

0 events, 17

1 event, 18

1 event, 18

0 events, 19

0 events, 19

0 events, 20

0 events, 20

0 events, 21

0 events, 21

0 events, 22

0 events, 22

0 events, 23

0 events, 23

0 events, 24

0 events, 24

1 event, 25

1 event, 25

0 events, 26

0 events, 26

0 events, 27

0 events, 27

0 events, 28

0 events, 28

0 events, 29

0 events, 29

0 events, 30

0 events, 30