Seminarium, Logik
To 1 december
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
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) -
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) -
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)