Kalender

Rustan Leino: Problems with bugs in your code? Doctor Rustan's tool to the rescue!

20 mar

Seminarium, Teoretisk datalogi

tisdag 2012-03-20, 13.15 - 15.00

Plats: Lecture hall E1, Osquars backe 2

2012-03-20T13:15:00.073+01:00 2012-03-20T15:00:00.051+01:00 Rustan Leino: Problems with bugs in your code? Doctor Rustan's tool to the rescue! (Seminarium, Teoretisk datalogi) Lecture hall E1, Osquars backe 2 (KTH, Stockholm, Sweden)Rustan Leino: Problems with bugs in your code? Doctor Rustan's tool to the rescue! (Seminarium, Teoretisk datalogi)

Laurent Bartholdi: Growth and Poisson boundaries of groups

20 mar

Seminarium, Mittag-Leffler

tisdag 2012-03-20, 14.00 - 15.00

Plats: Institut Mittag Leffler, Auravägen 17, Djursholm

2012-03-20T14:00:00.949+01:00 2012-03-20T15:00:00.949+01:00 Laurent Bartholdi: Growth and Poisson boundaries of groups (Seminarium, Mittag-Leffler) Institut Mittag Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Laurent Bartholdi: Growth and Poisson boundaries of groups (Seminarium, Mittag-Leffler)

Igor Mineyev: The Atiyah Conjecture and submultiplicativity

20 mar

Seminarium, Mittag-Leffler

tisdag 2012-03-20, 15.30

Plats: Institut Mittag Leffler, Auravägen 17, Djursholm

2012-03-20T15:30:00.124+01:00 2012-03-20T15:30:00.124+01:00 Igor Mineyev: The Atiyah Conjecture and submultiplicativity (Seminarium, Mittag-Leffler) Institut Mittag Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Igor Mineyev: The Atiyah Conjecture and submultiplicativity (Seminarium, Mittag-Leffler)