Recent Changes

Thursday, November 9

  1. page Talks edited ... Nov 14: Hugo A. Lopez Nov 28: Anupam Das (U. Copenhagen) Dec 12: Sonia Marin In the Sprin…
    ...
    Nov 14: Hugo A. Lopez
    Nov 28: Anupam Das (U. Copenhagen)
    Dec 12: Sonia Marin
    In the Spring of 2017 PLS lunch talks usually take place on every other Thursday 12-13 in 3A08.
    February 2: No talk, just discussions
    (view changes)
    6:28 am
  2. page Type theory seminar edited This is the seminar on models of type theory. We meet Thursdays 10-12 in room 4A20. Sept 21, 28 an…
    This is the seminar on models of type theory. We meet Thursdays 10-12 in room 4A20.
    Sept 21, 28 and Oct 5: Huber thesis chapter 2 and 3 (Bassel)
    ...
    12, Nov 99, 16 and Nov 16:23: Huber thesis
    ...
    (Niccolo)
    Nov 23:30: Huber thesis
    ...
    7 (Christian)
    Nov 30:

    Dec 7:
    Guarded cubical
    ...
    theory (Bassel).
    Dec 7: (Rasmus)

    Spring 2017
    Feb 9. The topos of trees and guarded recursion. First 17 slides of these slides. (Rasmus)
    (view changes)
    6:25 am

Tuesday, November 7

  1. page Type theory seminar edited This is the seminar on models of type theory. We meet Thursdays 10-12 in room 4A20. Sept 21, 28 an…
    This is the seminar on models of type theory. We meet Thursdays 10-12 in room 4A20.
    Sept 21, 28 and Oct 5: Huber thesis chapter 2 and 3 (Bassel)
    Oct 1212, Nov 9 and Nov 9:16: Huber thesis
    ...
    (Niccolo)
    Nov 16:23: Huber thesis
    ...
    (Christian)
    Nov 23:30: Guarded cubical
    ...
    theory (Bassel).
    Nov 30:

    Dec 7:
    (Rasmus)
    Dec 7

    Spring 2017
    Feb 9. The topos of trees and guarded recursion. First 17 slides of these slides. (Rasmus)
    (view changes)
    6:39 am
  2. page Type theory seminar edited This is the seminar on models of type theory. We meet Thursdays 10-12 in room 4A20. Sept 21, 28 an…
    This is the seminar on models of type theory. We meet Thursdays 10-12 in room 4A20.
    Sept 21, 28 and Oct 5: Huber thesis chapter 2 and 3 (Bassel)
    ...
    and Nov 2:9: Huber thesis
    ...
    (Niccolo)
    Nov 9:16: Huber thesis
    ...
    (Christian)
    Nov 16:23: Guarded cubical
    ...
    (Bassel).
    Nov 23:30: (Rasmus)
    Nov 30

    Dec 7
    Spring 2017
    (view changes)
    6:05 am

Friday, November 3

  1. 5:44 am
  2. 5:38 am
  3. page Talks edited ... Oct 5: Formalisations using two-level type theory Oct 31: Cancelled Nov 13: Danel Ahman: A …
    ...
    Oct 5: Formalisations using two-level type theory
    Oct 31: Cancelled
    Nov 13: Danel Ahman: A fibrational view on computational effects. 13-14 in 3A08.
    Nov 14: Hugo A. Lopez
    Nov 28: Anupam Das (U. Copenhagen)
    (view changes)
    5:35 am
  4. page People edited ... Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann. C…
    ...
    Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann.
    Christian Uldal Graulund. Supervisor: Rasmus Møgelberg.
    Jonas Kastberg Hinrichsen. Supervisor: Jesper Bengtson
    Håkon Norman. Supervisor: Thomas Hildebrandt.
    Past Post. doc.'s
    (view changes)
    5:22 am

More