Calendar

No calendar events were found within the current period.

Upcoming calendar events:

• Dilian Gurov: Modular Verification of Temporal Safety Properties of Procedural Programs

  11 Feb

  Seminar, other

  Monday 2013-02-11, 12:10 - 13:00

  Location: Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC

  2013-02-11T12:10:00.633+01:00 2013-02-11T13:00:00.633+01:00 Dilian Gurov: Modular Verification of Temporal Safety Properties of Procedural Programs (Seminar, other) Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC (KTH, Stockholm, Sweden)Dilian Gurov: Modular Verification of Temporal Safety Properties of Procedural Programs (Seminar, other)

• Mark Hubenthal: Recovering a Radiative Source From Partial Data

  11 Feb

  Seminar, Mittag-Leffler

  Monday 2013-02-11, 14:00 - 15:00

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

  2013-02-11T14:00:00.866+01:00 2013-02-11T15:00:00.866+01:00 Mark Hubenthal: Recovering a Radiative Source From Partial Data (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Mark Hubenthal: Recovering a Radiative Source From Partial Data (Seminar, Mittag-Leffler)

• Stig Larsson: Numerical approximation of stochastic evolution PDEs

  11 Feb

  Seminars, Applied mathematics

  Monday 2013-02-11, 15:15

  Location: Seminar room 3721, Department of Mathematics, KTH, Lindstedtsvägen 25, floor 7.

  2013-02-11T15:15:00.351+01:00 2013-02-11T15:15:00.351+01:00 Stig Larsson: Numerical approximation of stochastic evolution PDEs (Seminars, Applied mathematics) Seminar room 3721, Department of Mathematics, KTH, Lindstedtsvägen 25, floor 7. (KTH, Stockholm, Sweden)Stig Larsson: Numerical approximation of stochastic evolution PDEs (Seminars, Applied mathematics)