Calendar

No calendar events were found within the current period.

Upcoming calendar events:

• Spectral Theory and Applications: Conference in memory of Boris Pavlov (1936 – 2016)

  13 Mar

  Conference

  Sun 2016-03-13, 09:30 - Tue 2016-03-15, 12:30

  Location: Building 5, Kräftriket, Department of mathematics, Stockholm University

  2016-03-13T09:30:00.991+01:00 2016-03-15T12:30:00.991+01:00 Spectral Theory and Applications: Conference in memory of Boris Pavlov (1936 – 2016) (Conference) Building 5, Kräftriket, Department of mathematics, Stockholm University (KTH, Stockholm, Sweden)Spectral Theory and Applications: Conference in memory of Boris Pavlov (1936 – 2016) (Conference)

• Priyank Kalla: Verification of Bit-Vector Arithmetic using Finite Integer Algebras

  14 Mar

  Seminar, Theoretical computer science

  Monday 2016-03-14, 12:00

  Participating: Priyank Kalla, University of Utah

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

  2016-03-14T12:00:00.128+01:00 2016-03-14T12:00:00.128+01:00 Priyank Kalla: Verification of Bit-Vector Arithmetic using Finite Integer Algebras (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Priyank Kalla: Verification of Bit-Vector Arithmetic using Finite Integer Algebras (Seminar, Theoretical computer science)

• Matan Prasma: A model-categorical cotangent complex formalism

  14 Mar

  Topological Activities

  Monday 2016-03-14, 13:15 - 15:00

  Participating: Matan Prasma

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

  2016-03-14T13:15:00.408+01:00 2016-03-14T15:00:00.408+01:00 Matan Prasma: A model-categorical cotangent complex formalism (Topological Activities) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Matan Prasma: A model-categorical cotangent complex formalism (Topological Activities)