Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation

  1 jun

  Seminarium, Teoretisk datalogi

  måndag 2015-06-01, 13.00

  Medverkande: Philipp Rümmer, Department of Information Technology, Uppsala University

  Plats: Room 4523 Lindstedtsvägen 5, KTH

  2015-06-01T13:00:00.817+02:00 2015-06-01T13:00:00.817+02:00 Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation (Seminarium, Teoretisk datalogi) Room 4523 Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation (Seminarium, Teoretisk datalogi)

• Gustav Zickert: Furstenberg's conjecture and measure rigidity for some classes of non-abelian affine actions on tori

  2 jun

  Examensarbete

  tisdag 2015-06-02, 10.15

  Plats: Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH

  2015-06-02T10:15:00.339+02:00 2015-06-02T10:15:00.339+02:00 Gustav Zickert: Furstenberg's conjecture and measure rigidity for some classes of non-abelian affine actions on tori (Examensarbete) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Gustav Zickert: Furstenberg's conjecture and measure rigidity for some classes of non-abelian affine actions on tori (Examensarbete)

• Aleksander Madry: From graphs to matrices, and back: bridging the combinatorial and the continuous

  2 jun

  Seminarium, Teoretisk datalogi

  tisdag 2015-06-02, 12.00

  Medverkande: Aleksander Madry, MIT

  Plats: Room 4423, Lindstedtsvägen 5, KTH CSC

  2015-06-02T12:00:00.634+02:00 2015-06-02T12:00:00.634+02:00 Aleksander Madry: From graphs to matrices, and back: bridging the combinatorial and the continuous (Seminarium, Teoretisk datalogi) Room 4423, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Aleksander Madry: From graphs to matrices, and back: bridging the combinatorial and the continuous (Seminarium, Teoretisk datalogi)