
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 kickoff
 January 28 Morten's in charge
 February 4 Mirjam Solberg
Operads and algebras in nfold monoidal categories
 February 11 Bjorn Ian Dundas
A calculation of T^{n} ⊗ HF_{p}
 February 18 Mirjam Solberg
Operads and algebras in nfold 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 nfold 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 (1416)
A Whitney embedding theorem
