Calendar

No calendar events were found within the current period.

Upcoming calendar events:

• Anthony Fox: ISA Specification

  24 Jun

  Seminar, Theoretical computer science

  Wednesday 2015-06-24, 13:00

  Participating: Anthony Fox, Computer Lab, University of Cambridge

  Location: Room 4523, Lindstedtsvägen 5

  2015-06-24T13:00:00.356+02:00 2015-06-24T13:00:00.356+02:00 Anthony Fox: ISA Specification (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Anthony Fox: ISA Specification (Seminar, Theoretical computer science)

• Agnes Martine Nielsen: Application of Machine Learning on a Genome-Wide Association Study Dataset

  30 Jun

  Degree project

  Scientific Computing

  Tuesday 2015-06-30, 10:00

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

  Doctoral student: Agnes Martine Nielsen

  2015-06-30T10:00:00.801+02:00 2015-06-30T10:00:00.801+02:00 Agnes Martine Nielsen: Application of Machine Learning on a Genome-Wide Association Study Dataset (Degree project) Room 3424 Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Agnes Martine Nielsen: Application of Machine Learning on a Genome-Wide Association Study Dataset (Degree project)

• Ulrik Buchholtz: Weak dependent type theories

  3 Jul

  Seminar, Logic

  Friday 2015-07-03, 15:00 - 16:00

  Participating: Ulrik Buchholtz, Carnegie-Mellon University

  Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

  2015-07-03T15:00:00.161+02:00 2015-07-03T16:00:00.161+02:00 Ulrik Buchholtz: Weak dependent type theories (Seminar, Logic) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Ulrik Buchholtz: Weak dependent type theories (Seminar, Logic)