LOGIKSEMINARIET STOCKHOLM-UPPSALA 2007/2008
Seminarieledare: Per Martin-Löf (Stockholm), Erik Palmgren, Viggo Stoltenberg-Hansen (Uppsala)
2007-08-29 Per Martin-Löf: The Hilbert-Brouwer controversy resolved?
2007-09-05 Erik Palmgren: Remarks on domain representability and formal topology
2007-09-19 Richard Garner: 2-dimensional models of type theory (part 1)
2007-09-26 Richard Garner: 2-dimensional models of type theory (part 2)
2007-10-03 Fredrik Dahlgren: Is the Structure Theorem for the Space of Compactly Supported Distributions Effective?
2007-10-10 Sara Negri: Proof analysis in temporal logic
2007-10-17 Joachim Parrow: An introduction to the pi-calculus
2007-10-24 Johan Granström: A variable free version of the substitution calculus for dependent type theory
2007-11-07 Richard Garner: 2-dimensional models of type theory (part 3)
2007-11-14 Per Martin-Löf: Categories of expressions, meanings or objects? (part 1)
2007-11-21 Nicola Gambino: Sheaves of setoids
2007-11-28 Per Martin-Löf: Categories of expressions, meanings or objects? (part 2)
2007-12-05 Jan von Plato: The narrow path to Sequent calculus
2007-12-19 Olov Wilander: On extensional categories of set-like objects in type theory
2008-01-23 Per Martin-Löf: Assertions made, assertions, assertoric contents and propositions
2008-01-30 Annika Kanckos: Consistency of Heyting Arithmetic in Natural Deduction
2008-02-06 Johan Granström: A variable free version of the substitution calculus for dependent type theory (part 2)
2008-02-27 Johan Granström: A variable free version of the substitution calculus for dependent type theory (part 3)
2008-03-05 Richard Garner: Some issues concerning the Π types of dependent type theory
2008-03-26 Logikseminariet Stockholm-Uppsala 25 år – Symposium
2008-06-11 Richard Garner: Two-dimensional models of type theory (part 4)