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.

September 30

September 30 @ 3:00 pm - 4:00 pm

Category Theory Seminar: Alvaro Belmonte (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.

October 7

October 7 @ 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.

October 14

October 14 @ 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.

October 21

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

Category Theory Seminar: Zeyi Zhao (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.

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.

0 events, 29

0 events, 29

1 event, 30

1 event, 30

0 events, 1

0 events, 1

0 events, 2

0 events, 2

0 events, 3

0 events, 3

0 events, 4

0 events, 4

0 events, 5

0 events, 5

0 events, 6

0 events, 6

1 event, 7

1 event, 7

0 events, 8

0 events, 8

0 events, 9

0 events, 9

0 events, 10

0 events, 10

0 events, 11

0 events, 11

0 events, 12

0 events, 12

0 events, 13

0 events, 13

1 event, 14

1 event, 14

0 events, 15

0 events, 15

0 events, 16

0 events, 16

0 events, 17

0 events, 17

0 events, 18

0 events, 18

0 events, 19

0 events, 19

0 events, 20

0 events, 20

1 event, 21

1 event, 21

0 events, 22

0 events, 22

0 events, 23

0 events, 23

0 events, 24

0 events, 24

0 events, 25

0 events, 25

0 events, 26

0 events, 26

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