Calendar

No calendar events were found within the current period.

Upcoming calendar events:

• Roberto Guanciale: Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel

  21 Oct

  Seminar, Theoretical computer science

  Mon 2013-10-21, 13:15 - Sat 2013-10-19, 09:00

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

  2013-10-21T13:15:00.456+02:00 2013-10-19T09:00:46.456+02:00 Roberto Guanciale: Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 3, KTH CSC (KTH, Stockholm, Sweden)Roberto Guanciale: Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel (Seminar, Theoretical computer science)

• Ina Lundström: Finding Risk Factors for Long-Term Sickness Absence Using Classification Trees

  22 Oct

  Degree project

  Tuesday 2013-10-22, 10:15 - 11:00

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

  2013-10-22T10:15:00.509+02:00 2013-10-22T11:00:00.509+02:00 Ina Lundström: Finding Risk Factors for Long-Term Sickness Absence Using Classification Trees (Degree project) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Ina Lundström: Finding Risk Factors for Long-Term Sickness Absence Using Classification Trees (Degree project)

• Olof Sisask: On the orbits of points under polynomials in finite fields

  22 Oct

  Seminarium, DNA-L

  Tuesday 2013-10-22, 13:15 - 14:15

  Location: Room 3418, 4th floor, Department of Mathematics, KTH

  2013-10-22T13:15:00.911+02:00 2013-10-22T14:15:00.911+02:00 Olof Sisask: On the orbits of points under polynomials in finite fields (Seminarium, DNA-L) Room 3418, 4th floor, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Olof Sisask: On the orbits of points under polynomials in finite fields (Seminarium, DNA-L)