Seminarium, Logik

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth

  7 dec

  Seminarium, Logik

  onsdag 2016-12-07, 10.00 - 11.45

  Medverkande: Mateus de Oliveira Oliveira, University of Bergen

  Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

  2016-12-07T10:00:00.000+01:00 2016-12-07T11:45:00.000+01:00 Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik)

• Valery Isaev: Morita equivalence between homotopy type theories.

  14 dec

  Seminarium, Logik

  onsdag 2016-12-14, 10.00 - 11.45

  Medverkande: Valery Isaev, JetBrains Research / St Petersburg Academic University

  Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

  2016-12-14T10:00:00.000+01:00 2016-12-14T11:45:00.000+01:00 Valery Isaev: Morita equivalence between homotopy type theories. (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Valery Isaev: Morita equivalence between homotopy type theories. (Seminarium, Logik)

• Luiz Carlos Pereira: Atomic Polymorphism and schematic rules: a view from proof-theory

  25 jan

  Seminarium, Logik

  onsdag 2017-01-25, 10.00 - 11.45

  Medverkande: Luiz Carlos Pereira, PUC-Rio

  Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

  2017-01-25T10:00:00.000+01:00 2017-01-25T11:45:00.000+01:00 Luiz Carlos Pereira: Atomic Polymorphism and schematic rules: a view from proof-theory (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Luiz Carlos Pereira: Atomic Polymorphism and schematic rules: a view from proof-theory (Seminarium, Logik)