Seminar, Master in mathematics
Sat 20 April - Tue 31 December
-
Seminar, Master
Tuesday 2024-04-23, 16:00 - 18:00
Participating: Fabian Lukas Grubmüller (SU/KTH)
Location: Albano hus 1, Cramér room
2024-04-23T16:00:00.000+02:00 2024-04-23T18:00:00.000+02:00 Fabian Lukas Grubmüller: Demystifying Proof Assistants: An Introduction to Interactive Theorem Proving (Seminar, Master) Albano hus 1, Cramér room (KTH, Stockholm, Sweden)Fabian Lukas Grubmüller: Demystifying Proof Assistants: An Introduction to Interactive Theorem Proving (Seminar, Master) -
Seminar, Master
Tuesday 2024-05-07, 13:00 - 15:00
Participating: Per Alexandersson (SU)
Location: Albano hus 1, Cramér room
2024-05-07T13:00:00.000+02:00 2024-05-07T15:00:00.000+02:00 Per Alexandersson: Symmetric Functions and Graph Colorings (Seminar, Master) Albano hus 1, Cramér room (KTH, Stockholm, Sweden)Per Alexandersson: Symmetric Functions and Graph Colorings (Seminar, Master)