Calendar

No calendar events were found within the current period.

Upcoming calendar events:

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

  21 Jan

  Seminar, Mittag-Leffler

  Monday 2013-01-21, 14:00 - 15:00

  Location: 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 (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Diana Barseghyan: Spectral estimates for Schrödinger operators with unusual semiclassical behavior (Seminar, Mittag-Leffler)

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

  21 Jan

  Seminar, Mittag-Leffler

  Monday 2013-01-21, 15:30 - 16:30

  Location: 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 (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Elena Beretta: On the stability issue for some inverse boundary value problems (Seminar, Mittag-Leffler)

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

  22 Jan

  Seminar, other

  Tuesday 2013-01-22, 12:10 - 13:00

  Location: 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 (Seminar, other) 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 (Seminar, other)