‘åŠw‰@ƒZƒ~ƒi[‚Ì—\’è
2020”N“xAƒZƒƒXƒ^[
ƒZƒ~ƒi[‚̓Iƒ“ƒ‰ƒCƒ“‚ÅŽÀŽ{
9ŒŽ28“úiŒŽj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
10ŒŽ5“úiŒŽj 15:00 --
–Ø‘º –žW -- Quasimorphisms and bounded cohomology
10ŒŽ12“úiŒŽj 15:00 --
‹g“c ƒ -- Categorified Vassiliev skein relations
11ŒŽ30“úiŒŽj 15:00 --
–Ø‘º –žW -- Quasimorphisms and bounded cohomology
12ŒŽ7“úiŒŽj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
12ŒŽ14“úiŒŽj 15:00 --
‚–ì ‹ÅO i‹tˆäŒ¤‹†Žºj
2020”N“xSƒZƒƒXƒ^[
ƒZƒ~ƒi[‚̓Iƒ“ƒ‰ƒCƒ“‚ÅŽÀŽ{
5ŒŽ11“úiŒŽj 15:00 --
–Ø‘º –žW -- Quasimorphisms and bounded cohomology
5ŒŽ25“úiŒŽj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
6ŒŽ8“úiŒŽj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
6ŒŽ22“úiŒŽj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
in Homotopy Type Theory
7ŒŽ6“úiŒŽj 15:00 --
‹g“c ƒ -- Joint work with Noboru Ito
2019”N“xAƒZƒƒXƒ^[
‘åŠw‰@W’†ƒZƒ~ƒi[ 9ŒŽ24“ú -- 27“ú
9ŒŽ24“ú@118†Žº
9ŒŽ25“ú -- 27“ú 056†Žº
Timetable
ŒŽ—j“ú 470†Žº
‹à—j“ú 470†Žº
10ŒŽ7“úiŒŽj 16:00 --
ó”ö ‘וF -- Magnitude homology of CAT(κ) spaces
10ŒŽ21“úiŒŽj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
10ŒŽ28“úiŒŽj 15:00 --
Sergei Burkin -- Twisted category of an operad
11ŒŽ18“úiŒŽj 15:00 --
ó”ö ‘וF -- Magnitude homology of crushable spaces
11ŒŽ25“úiŒŽj 17:30 --
²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
1ŒŽ24“úi‹àj 15:00 --
Sergei Burkin -- Twisted arrow operads and Segal conditions
1ŒŽ27“úiŒŽj 15:00 --
ó”ö ‘וF -- Magnitude homology and Vietoris-Rips homology of geodesic metric spaces
2ŒŽ10“úiŒŽj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
2ŒŽ21“úi‹àj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
2ŒŽ28“úi‹àj 15:00 --
²“¡ ŒºŠî -- Geometric realizations
of families in Homotopy Type Theory
Rescheduled
‰ß‹Ž‚̃Zƒ~ƒi[