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

- 2008-09-10 Anton Hedin: A continuous DCPO representation of regular formal topologies
- 2008-09-17 Benno van den Berg: Aspects of Algebraic Set Theory
- 2008-09-24 Per Martin-Löf: Is logic about consequence?
- 2008-10-01 Kaj B. Hansen: From Logical Analysis to Physics: The Case of Special Relativity.
- 2008-11-05 Erik Palmgren: Remarks on the localic completion of metric spaces
- 2008-11-12 Johan Granström: Different kinds of immediate evidence in intuitionistic type theory
- 2008-12-03 Vera Koponen: Zero-one laws for finite substructures of countably categorical structures
- 2008-12-10 Olga Antonova: The modern categories of mathematical reason and their genesis

- 2009-01-15 Minisymposium on Type Theory and Foundations
- 2009-01-28 Per Martin-Löf and Dag Prawitz: How is Tarski semantics to be understood?
- 2009-02-04 Michael Rathjen: Infinitary proof theory and Pi_2^0 conservation.
- 2009-02-18 Peter Aczel: Identity types and type setups.
- 2009-02-25 Per Martin-Löf: Evaluation of open expressions.
- 2009-03-11 Per Martin-Löf: Evaluation of open expressions (cont.)
- 2009-04-29 Richard Garner: Topological and higher-dimensional aspects of type theory.
- 2009-06-03 Fredrik Nordvall Forsberg: Constructive aspects of models for non-standard analysis. (Presentation av examensarbete/MSc seminar)

Philosophy and Foundations of Mathematics, May 5-8, 2009, SCAS, Uppsala. A conference dedicated to Per Martin-Löf on the occasion of his retirement.

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