Kalender

Erik Palmgren: Progress report on formalizing categories with attributes in type theory, part 2

2 sep

Seminarium, Logik

onsdag 2015-09-02, 10.00 - 11.45

Medverkande: Erik Palmgren

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

2015-09-02T10:00:00.352+02:00 2015-09-02T11:45:00.352+02:00 Erik Palmgren: Progress report on formalizing categories with attributes in type theory, part 2 (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm University (KTH, Stockholm, Sweden)Erik Palmgren: Progress report on formalizing categories with attributes in type theory, part 2 (Seminarium, Logik)

SF2740 Graph theory

2 sep

Kursstart

onsdag 2015-09-02, 10.15

Plats: Room 3721

2015-09-02T10:15:00.295+02:00 2015-09-02T10:15:00.295+02:00 SF2740 Graph theory (Kursstart) Room 3721 (KTH, Stockholm, Sweden)SF2740 Graph theory (Kursstart)

Liviana Palmisano: Quasi-symmetric conjugacy for circle maps with a flat interval

2 sep

Seminarium, KTH Analys

onsdag 2015-09-02, 13.15

Medverkande: Liviana Palmisano, Polish Academy of Sciences, Warsaw

Plats: Seminarierum 3721, Lindstedtsvägen 25, KTH

2015-09-02T13:15:00.286+02:00 2015-09-02T13:15:00.286+02:00 Liviana Palmisano: Quasi-symmetric conjugacy for circle maps with a flat interval (Seminarium, KTH Analys) Seminarierum 3721, Lindstedtsvägen 25, KTH (KTH, Stockholm, Sweden)Liviana Palmisano: Quasi-symmetric conjugacy for circle maps with a flat interval (Seminarium, KTH Analys)