LOGIKSEMINARIET STOCKHOLM-UPPSALA

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

Fall 2010

Click on links below for abstracts, time and venue.

2010-08-25 Peter Dybjer: The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theory with Pi, Sigma, and Extensional Identity Types
2010-08-25 Johan Glimming: Towards Parametric Direcursion
2010-09-01 Per Martin-Löf: Contexts and cubical complexes
2010-09-08 Erik Palmgren: On the category of types with intensional identity
2010-09-29 Ogawa Mizuhito: Confluence of Term Rewriting Systems, brief history and recent progress.
2010-11-10 Andrew Pitts: Structural Recursion with Locally Scoped Names

Spring 2010

2010-02-03 Sten-Åke Tärnlund: P vs NP.
2010-03-17 Kim Solin: Applications of modified semirings
2010-03-24 Per Martin-Löf: Spreads and choice sequences in type theory
2010-04-07 Per Martin-Löf: Spreads and choice sequences in type theory (cont.)
2010-04-14 Per Martin-Löf: Spreads and choice sequences in type theory (cont.)
2010-04-21 Anton Hedin: Vitali's covering theorem in constructive mathematics.
2010-05-19 Douglas S Bridges: Constructive reverse mathematics.
2010-05-19 Richard Garner: Ionads and constructive topology.
2010-05-26 Johan Granström: Metamodelling in constructive type theory

Fall 2009

During Fall 2009 Institut Mittag-Leffler has a programme on Mathematical Logic: Set Theory and Model Theory. The logic seminars will take place at the institute unless otherwise noticed.

Seminar programme of Institut Mittag-Leffler.

Logikseminariet 2008/2009

Logikseminariet 2007/2008

Tidigare seminarier.