UiB : MatNat : Matematikk : The topology group

Topology Seminar, Spring 2016

Where and when: Thursdays at 10:15 next to the lunch room.

Very tentative schedule:

  • January 21 No Seminar,
    CAU kick-off
  • January 28 Morten's in charge
  • February 4 Mirjam Solberg
    Operads and algebras in n-fold monoidal categories
  • February 11 Bjorn Ian Dundas
    A calculation of  Tn ⊗ HFp
  • February 18 Mirjam Solberg
    Operads and algebras in n-fold monoidal categories (cont)
  • February 25 Wojtek Chacholski
    Multi persistence and topological data analysis
  • March 3 Stefano Piceghello
    Computer verification of proofs in Coq: some examples
  • March 10 Robin Adams
    How to Compute with Univalence
  • March 17 No seminar
  • March 24
    Easter
  • March 31 Kristian Alfsvåg
    Studying the n-fold loop space in HoTT: Is it a simplicial abelian group?
  • April 7 No seminar
  • April 14 Bjorn Ian Dundas
    Analysis is almost algebra
  • April 21 No seminar
  • April 28 Andrea Tenti
    An unstable invariant
  • May 5 No seminar
  • May 12 Kim Haugland
    The proof of the converse stability theorem for decomposable persistence modules
  • May 19 Morten Brun
    The dCod project: fish and topology
  • May 31 Tore A. Kro (14-16)
    A Whitney embedding theorem