LOGIKSEMINARIET STOCKHOLM-UPPSALA 2008/2009
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)
Related activities
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.