Logikseminariet Stockholm/Uppsala HT-04 och VT-05

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

• 2004-09-08 Helmut Schwichtenberg: Program extraction from classical proofs
• 2004-09-15 Per Martin-Löf: Normalization by evaluation and by the method of computability. Part I.
• 2004-09-22 Per Martin-Löf: Normalization by evaluation and by the method of computability. Part II.
• 2004-10-06 Per Martin-Löf: Normalization by evaluation and by the method of computability. Part III.
• 2004-10-13 Per Martin-Löf: Normalization by evaluation and by the method of computability. Part IV.
• 2004-10-20 Per Martin-Löf: Normalization by evaluation and by the method of computability. Part V.
• 2004-10-27 Johan Granström: Implicit arguments in type theory
• 2004-11-10 Marko Djordjevic: Slumpstrukturer med ändlig rang, del I
• 2004-11-24 Marko Djordjevic: Slumpstrukturer med ändlig rang, del II
• 2004-12-01 Gunnar Berg: Var intuitionismen revolutionär?
• 2004-12-08 Erik Palmgren: Constructing quotient spaces using restricted power sets

• 2005-01-26 Olov Wilander: An E-bicategory of E-categories
• 2005-02-02 Peter Dybjer: Untyped normalization by evaluation
• 2005-02-16 Erik Palmgren: Internalising modified realisability in constructive type theory
• 2005-02-23 Aarne Ranta: GF: a type-theoretical grammatical framework
• 2005-03-09 Tor Sandqvist: An Inferentialist Interpretation of Classical Logic
• 2005-04-13 Benno van den Berg and Johan Granström (click for titles and abstracts)
• 2005-04-20 Göran Hamrin: Admissible domain representations of topological spaces
• 2005-04-27 Hajime Ishihara: Quasi-apartness and neighbourhood spaces
• 2005-05-04 Jan von Plato: A newly discovered proof of normalization by Gentzen
• 2005-05-11 Jesper Carlström: Three proofs of Birkhoff's theorem
• 2005-05-18 Marko Djordjevic: Entropy of formulas
• 2005-06-01 Gilles Dowek och Thierry Coquand (click for titles and abstracts)