27.08.2015 - Making plans for the semester.
Dag Normann - On the semantics of transfinite types - What we did in Oslo and why.
10.09.20125 - Dag Normann - Limit spaces of countable types.
17.09.2015 - Herman Ruge Jervell
24.09.2015 - Herman Ruge Jervell
01.10.2015 - Herman Ruge Jervell
08.10.2015 - Dag Normann - Computability over first order structures
15.10.2015 - No program
22.10.2015 - Håkon Robbestad Gylterud - Mengder, Multimengder og Homotopitypeteori.
29.10.2015 - Herman Ruge Jervell
05.11.2015 - No Program
12.11.2015 - Stål Aanderaa
19.11.2015 - Øystein Linnebo
26.11.2015 - Peter Lumsdaine
03.12.2015 - Øystein Linnebo