Seminarieledare: Per Martin-Löf (Stockholm), Erik Palmgren, Viggo Stoltenberg-Hansen (Uppsala)

- 2006-08-30 Paul Gorbow: Infinite sequences in stability theory
- 2006-09-06 Per Martin-Löf: Sheaf models of type theory (part three)
- 2006-09-13 Michael O. Rabin: Randomness and Non-Transferable, Non-Publishable Proofs
- 2006-09-20 Per Martin-Löf: Sheaf models of type theory (part four)
- 2006-09-27 Vera Djordjevic: Partial stability in simple theories
- 2006-10-11 Per Martin-Löf: Sheaf models of type theory (part five)
- 2006-10-25 Per Martin-Löf: Sheaf models of type theory (part six)
- 2006-11-01 Annika Kanckos: A direct Gentzen-style consistency proof for Heyting arithmetic
- 2006-11-08 Per Martin-Löf: Sheaf models of type theory (part seven)
- 2006-11-29 Olga Antonova: On the historical roots of type theory
- 2006-12-06 Jouko Väänänen: Dependence Logic
- 2006-12-07 Dag Normann: Domain theory based hierarchies of total functionals
- 2006-12-13 Sergei Soloviev: Non-standard reductions in typed lambda-calculus with inductive types and normalization properties.

- 2007-01-24 Noa Hermele: A Model for Constructive Set Theory in Intuitionistic Type Theory
- 2007-01-31 Erik Palmgren: The uniform lower bound problem in constructive analysis
- 2007-02-07 Erik Palmgren: Category theory without the axiom of choice
- 2007-02-14 Luiz Carlos Pereira: Translations and normalization procedures
- 2007-02-21 Erik Palmgren: Category theory without the axiom of choice (cont.)
- 2007-02-28 Richard Garner: Cofibrantly generated natural weak factorisation systems
- 2007-03-07 Ruben van den Brink: Why not? An intuitionist's attempt to understand "HB does not imply FT" (part 1)
- 2007-03-14 Ruben van den Brink: Why not? An intuitionist's attempt to understand "HB does not imply FT" (part 2)
- 2007-03-21 Olov Wilander: Proofs and Partiality
- 2007-03-28 Olov Wilander: Proofs and Partiality (continued)
- 2007-04-11 Per Martin-Löf: Topology, probability, quantum theory
- 2007-04-18 Per Martin-Löf: Topology, probability, quantum theory (cont.)
- 2007-04-25 Richard Garner: A taxonomy of fibrations
- 2007-05-02 Vera Djordjevic: Independence and finite satisfiability
- 2007-05-30 Richard Garner: A taxonomy of fibrations (part 2)

Maintainer: Brandon Doherty, brandon.doherty@math.su.se