Calendar

No calendar events were found within the current period.

Upcoming calendar events:

• Maximilian Vranjes: The Proofs of the Compactness Theorem of First Order Logic

  8 Dec

  Degree project

  Monday 2025-12-08, 12:30

  Location: Mittag-Lefflerrummet (mötesrum 16), Albano, Hus 1, Vån 3

  Respondent: Maximilian Vranjes

  2025-12-08T12:30:00.000+01:00 2025-12-08T12:30:00.000+01:00 Maximilian Vranjes: The Proofs of the Compactness Theorem of First Order Logic (Degree project) Mittag-Lefflerrummet (mötesrum 16), Albano, Hus 1, Vån 3 (KTH, Stockholm, Sweden)Maximilian Vranjes: The Proofs of the Compactness Theorem of First Order Logic (Degree project)

• Simon Hanson: Hilbert's Invariance Theorem

  8 Dec

  Degree project

  Monday 2025-12-08, 14:00 - 15:00

  Location: Cramérrummet (mötesrum 12), Albano, Hus 1, Vån 3

  Respondent: Simon Hanson

  2025-12-08T14:00:00.000+01:00 2025-12-08T15:00:00.000+01:00 Simon Hanson: Hilbert's Invariance Theorem (Degree project) Cramérrummet (mötesrum 12), Albano, Hus 1, Vån 3 (KTH, Stockholm, Sweden)Simon Hanson: Hilbert's Invariance Theorem (Degree project)

• Joakim Andén-Pantera: Encoding prior knowledge into the multireference alignment problem

  9 Dec

  Seminar, Applied CATS

  Tuesday 2025-12-09, 10:15 - 11:15

  Participating: Joakim Andén-Pantera (KTH)

  Location: KTH 3418, Lindstedtsvägen 25 and Zoom

  Video link: https://kth-se.zoom.us/j/65583358144?pwd=us6mdDtBgkEdZefvgbZPBWNujl3YuJ.1

  2025-12-09T10:15:00.000+01:00 2025-12-09T11:15:00.000+01:00 Joakim Andén-Pantera: Encoding prior knowledge into the multireference alignment problem (Seminar, Applied CATS) KTH 3418, Lindstedtsvägen 25 and Zoom (KTH, Stockholm, Sweden)Joakim Andén-Pantera: Encoding prior knowledge into the multireference alignment problem (Seminar, Applied CATS)