Degree project

No calendar events were found within the current period.

Upcoming calendar events:

• Elin Tinnert: : Laplacian Matrices as a Tool for Spectral Clustering

  9 Jun

  Degree project

  Monday 2025-06-09, 09:00 - 10:30

  Participating: Elin Tinnert

  Location: Mötesrum 9

  Respondent: Elin Tinnert

  2025-06-09T09:00:00.000+02:00 2025-06-09T10:30:00.000+02:00 Elin Tinnert: : Laplacian Matrices as a Tool for Spectral Clustering (Degree project) Mötesrum 9 (KTH, Stockholm, Sweden)Elin Tinnert: : Laplacian Matrices as a Tool for Spectral Clustering (Degree project)

• Emma Bastås: A proof searching procedure for intuitionistic propositional logic in Agda

  9 Jun

  Degree project

  Monday 2025-06-09, 10:30 - 12:00

  Participating: Emma Bastås

  Location: Mötesrum 9

  Respondent: Emma Bastås

  2025-06-09T10:30:00.000+02:00 2025-06-09T12:00:00.000+02:00 Emma Bastås: A proof searching procedure for intuitionistic propositional logic in Agda (Degree project) Mötesrum 9 (KTH, Stockholm, Sweden)Emma Bastås: A proof searching procedure for intuitionistic propositional logic in Agda (Degree project)

• Morris Lundberg Allerholm: Kakurasu is NP-complete

  9 Jun

  Degree project

  Monday 2025-06-09, 12:30 - 14:00

  Participating: Morris Lundberg Allerholm

  Location: Mötesrum 9

  Respondent: Morris Lundberg Allerholm

  2025-06-09T12:30:00.000+02:00 2025-06-09T14:00:00.000+02:00 Morris Lundberg Allerholm: Kakurasu is NP-complete (Degree project) Mötesrum 9 (KTH, Stockholm, Sweden)Morris Lundberg Allerholm: Kakurasu is NP-complete (Degree project)