Logikseminariet Stockholm/Uppsala HT-07 och VT-08

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-11 MINISYMPOSIUM ON DOMAINS AND COMPUTABILITY
• 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-05-07 Steve Awodey: Topology and modality
• 2008-06-11 Richard Garner: Two-dimensional models of type theory (part 4)