Kalender

• Johannes Schipp von Branitz: Primitive Recursive Dependent Type Theory

  15 okt

  Seminarium, Logik

  onsdag 2025-10-15, 10.00 - 12.00

  Medverkande: Johannes Schipp von Branitz (University of Nottingham)

  Plats: Albano house 1, floor 3, Room U (Kovalevsky)

  2025-10-15T10:00:00.000+02:00 2025-10-15T12:00:00.000+02:00 Johannes Schipp von Branitz: Primitive Recursive Dependent Type Theory (Seminarium, Logik) Albano house 1, floor 3, Room U (Kovalevsky) (KTH, Stockholm, Sweden)Johannes Schipp von Branitz: Primitive Recursive Dependent Type Theory (Seminarium, Logik)

• Bosco Nyandwi: An Extension of Polya's Shire Theorem

  15 okt

  Seminarium, Analys Stockholm

  onsdag 2025-10-15, 11.00 - 12.00

  Medverkande: Bosco Nyandwi (University of Rwanda)

  Plats: Albano, Cramér room

  2025-10-15T11:00:00.000+02:00 2025-10-15T12:00:00.000+02:00 Bosco Nyandwi: An Extension of Polya's Shire Theorem (Seminarium, Analys Stockholm) Albano, Cramér room (KTH, Stockholm, Sweden)Bosco Nyandwi: An Extension of Polya's Shire Theorem (Seminarium, Analys Stockholm)

• Marc Hellmuth: Symbolic Ultrametrics and Beyond

  15 okt

  Seminarium, Beräkningsmatematik

  onsdag 2025-10-15, 13.00 - 15.00

  Medverkande: Marc Hellmuth (SU)

  Plats: Albano, Cramér room

  2025-10-15T13:00:00.000+02:00 2025-10-15T15:00:00.000+02:00 Marc Hellmuth: Symbolic Ultrametrics and Beyond (Seminarium, Beräkningsmatematik) Albano, Cramér room (KTH, Stockholm, Sweden)Marc Hellmuth: Symbolic Ultrametrics and Beyond (Seminarium, Beräkningsmatematik)