Degree project
Wed 30 April
No calendar events were found within the current period.
Upcoming calendar events:
-
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) -
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) -
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)