Examensarbete
Fr 6 februari
-
Examensarbete
fredag 2026-02-06, 12.00 - 13.00
Plats: Meetingroom 12 – Cramér room, Albano House 1
Respondent: Amanda Borg
2026-02-06T12:00:00.000+01:00 2026-02-06T13:00:00.000+01:00 Amanda Borg: Backtracking och n-queens: hur radordning påverkar sökningens effektivitet (Examensarbete) Meetingroom 12 – Cramér room, Albano House 1 (KTH, Stockholm, Sweden)Amanda Borg: Backtracking och n-queens: hur radordning påverkar sökningens effektivitet (Examensarbete) -
Examensarbete
fredag 2026-02-06, 13.30 - 14.30
Plats: Meeting room 12 – Cramérroom, Albano house 1
Respondent: Fabian Lukas Grubmülller
2026-02-06T13:30:00.000+01:00 2026-02-06T14:30:00.000+01:00 Fabian Lukas Grubmüller: The Category of Iterative Sets in Cubical Agda (Examensarbete) Meeting room 12 – Cramérroom, Albano house 1 (KTH, Stockholm, Sweden)Fabian Lukas Grubmüller: The Category of Iterative Sets in Cubical Agda (Examensarbete)