Seminarium, master

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Fabian Lukas Grubmüller: Demystifying Proof Assistants: An Introduction to Interactive Theorem Proving

  23 apr

  Seminarium, master

  tisdag 2024-04-23, 16.00 - 18.00

  Medverkande: Fabian Lukas Grubmüller (SU/KTH)

  Plats: 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 (Seminarium, master) Albano hus 1, Cramér room (KTH, Stockholm, Sweden)Fabian Lukas Grubmüller: Demystifying Proof Assistants: An Introduction to Interactive Theorem Proving (Seminarium, master)

• Per Alexandersson: Symmetric Functions and Graph Colorings

  7 maj

  Seminarium, master

  tisdag 2024-05-07, 13.00 - 15.00

  Medverkande: Per Alexandersson (SU)

  Plats: 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 (Seminarium, master) Albano hus 1, Cramér room (KTH, Stockholm, Sweden)Per Alexandersson: Symmetric Functions and Graph Colorings (Seminarium, master)