Seminarium, Logik

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)