Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Diana Barseghyan: Spectral estimates for Schrödinger operators with unusual semiclassical behavior

  21 jan

  Seminarium, Mittag-Leffler

  måndag 2013-01-21, 14.00 - 15.00

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

  2013-01-21T14:00:00.667+01:00 2013-01-21T15:00:00.667+01:00 Diana Barseghyan: Spectral estimates for Schrödinger operators with unusual semiclassical behavior (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Diana Barseghyan: Spectral estimates for Schrödinger operators with unusual semiclassical behavior (Seminarium, Mittag-Leffler)

• Elena Beretta: On the stability issue for some inverse boundary value problems

  21 jan

  Seminarium, Mittag-Leffler

  måndag 2013-01-21, 15.30 - 16.30

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

  2013-01-21T15:30:00.195+01:00 2013-01-21T16:30:00.195+01:00 Elena Beretta: On the stability issue for some inverse boundary value problems (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Elena Beretta: On the stability issue for some inverse boundary value problems (Seminarium, Mittag-Leffler)

• Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant

  22 jan

  Seminarium, Övrigt

  tisdag 2013-01-22, 12.10 - 13.00

  Plats: Room 1537, Osquars backe 2, 5th floor, KTH

  2013-01-22T12:10:00.883+01:00 2013-01-22T13:00:00.883+01:00 Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminarium, Övrigt) Room 1537, Osquars backe 2, 5th floor, KTH (KTH, Stockholm, Sweden)Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminarium, Övrigt)