Logikseminariet Stockholm/Uppsala HT-05 och VT-06

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

• 2005-09-14 Fredrik Dahlgren: TTE vs. effective domain representability
• 2005-09-21 Steve Vickers: Classifying categories
• 2005-09-28 Dieter Spreen & Dag Normann
• 2005-10-12 Per Martin-Löf: Sheaf models of type theory. Part I.
• 2005-11-01 Helmut Schwichtenberg: Program Extraction from Normalization Proofs.
• 2005-11-09 Per Martin-Löf: Sheaf models of type theory. Part II.
• 2005-11-29 Lennart Salling: LPL, an almost complete system for learning and teaching FOL with painless examination
• 2005-11-30 Fredrik Engström: Saturation and expansions of models of arithmetic
• 2005-12-07 Thierry Coquand, Peter Dybjer och Helmut Schwichtenberg: (klicka för information)
• 2005-12-14 Erik Palmgren: Glueing in formal topology
  

• 2006-02-01 Fredrik Dahlgren: Partial continuous functions and admissible domain representations
• 2006-02-08 Jens Brage: A natural interpretation of classical proofs (valda delar)
• 2006-02-15 Helmut Schwichtenberg: Logic for computable functionals and their approximations
• 2006-03-02 Minisymposium on concrete analysis
• 2006-03-08 Masahiko Sato: Abstraction and Substitution by Frege-Gentzen Approach
• 2006-03-15 Peter Schuster: Do Noetherian modules have Noetherian basis functions?
• 2006-03-22 Per Martin-Löf: The Type-Theoretic Logic of Existence
• 2006-04-05 Sara Negri: Equality in the presence of apartness: a problem of Van Dalen and Statman revisited
• 2006-04-26 Ieke Moerdijk: Dendroidal sets
• 2006-05-03 Per Martin-Löf: The Two Layers of Logic
• 2006-05-10 David Wahlstedt: Dependent Type Theory with Parametric First-Order Data Types and Pattern-Matching
• 2006-05-24 Fredrik Dahlgren: Effective distribution theory
• 2006-05-31 Johan Granström: Eager evaluation in dependent type theory, Part I
• 2006-06-07 Johan Granström: Eager evaluation in dependent type theory, Part II
• 2006-06-14 Richard Garner: Quillen model categories and intensional type theory