Recent Changes

Yesterday

  1. page Talks edited In the Fall of 2017 PLS lunch talks usually take place on every other Tuesday 12-13 in 2A08. Sept …
    In the Fall of 2017 PLS lunch talks usually take place on every other Tuesday 12-13 in 2A08.
    Sept 6: Oscar Toro: The Bitcoin Backbone Protocol
    Sept 20:19: Jonas Kastberg
    Oct 3: Niccolo Veltri
    Oct 31: Hugo A. Lopez
    (view changes)
    4:20 am
  2. page Type theory seminar edited ... meet Thursdays 13-15 10-12 in room TBA. 4A20. Sept 21 and 28: Huber thesis chapter 2 a…
    ...
    meet Thursdays 13-1510-12 in room TBA.4A20.
    Sept 21 and 28: Huber thesis chapter 2 and 3 (Bassel)
    Oct 5 and 12: Huber thesis chapter 6 (Niccolo)
    (view changes)
    4:14 am
  3. page People edited ... Bassel Mannaa Niccolo Veltri Hugo A. López PhD students Peter Brottveit Bock, Logical Fr…
    ...
    Bassel Mannaa
    Niccolo Veltri
    Hugo A. López
    PhD students
    Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann.
    ...
    Ebbe Elsborg
    Espen Højsgaard
    Hugo A. LopezLópez
    Rasmus Ejlers Møgelberg
    Rasmus Lerchedahl Petersen
    (view changes)
    4:09 am

Tuesday, September 12

  1. page Type theory seminar edited This is the seminar on models of type theory. We meet Thursdays 13-15 in room TBA. ... and 3 (B…
    This is the seminar on models of type theory. We meet Thursdays 13-15 in room TBA.
    ...
    and 3 (Bassel)
    Oct 5
    ...
    chapter 6 (Niccolo)
    Oct 26:
    ...
    chapter 7 (Christian)
    Nov 9:
    ...
    type theory (Bassel).
    Nov 1616: (Rasmus)
    Nov 23
    Nov 30
    (view changes)
    4:57 am
  2. page Type theory seminar edited ... Oct 5 and 12: Huber thesis chapter 6 Oct 26: Huber thesis chapter 7 Nov 9: Guarded cubical …
    ...
    Oct 5 and 12: Huber thesis chapter 6
    Oct 26: Huber thesis chapter 7
    Nov 9: Guarded cubical type theory
    Nov 16
    Nov 23
    Nov 30

    Spring 2017
    Feb 9. The topos of trees and guarded recursion. First 17 slides of these slides. (Rasmus)
    (view changes)
    4:52 am
  3. page Type theory seminar edited ... theory. We will meet once a week to discuss papers following the below (tentative) schedul…
    ...
    theory. We will meet once a week to discuss papers following the below (tentative) schedule. We meet Wednesdays at 10-12Thursdays 13-15 in 4A22 except March 1room TBA.
    Sept 21 and 28: Huber thesis chapter 2 and 3
    Oct 5
    and 8.12: Huber thesis chapter 6
    Oct 26: Huber thesis chapter 7
    Spring 2017

    Feb 9. The topos of trees and guarded recursion. First 17 slides of these slides. (Rasmus)
    Feb 15. Seely: Locally cartesian closed categories and type theory and Awodey, Category Theory, chapter 8.7 and 9.7. (Rasmus)
    (view changes)
    4:51 am

Monday, September 11

  1. 2:19 am
  2. page People edited ... Carsten Schuermann Post. doc.'s Bassel Mannaa Rosario Giustolisi Bassel Mannaa Niccolo…
    ...
    Carsten Schuermann
    Post. doc.'s
    Bassel Mannaa
    Rosario Giustolisi
    Bassel Mannaa
    Niccolo Veltri

    PhD students
    Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann.
    (view changes)
    2:18 am

More