‘åŠ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[