Kursstart
Må 27 januari
-
Kursstart
måndag 2025-01-27, 15.30
Medverkande: Peter LeFanu Lumsdaine, Anders Mörtberg
Plats: Cramérrummet
2025-01-27T15:30:00.000+01:00 2025-01-27T15:30:00.000+01:00 Peter LeFanu Lumsdaine, Anders Mörtberg: PhD course: Computer Formalisation of Mathematics (Kursstart) Cramérrummet (KTH, Stockholm, Sweden)Peter LeFanu Lumsdaine, Anders Mörtberg: PhD course: Computer Formalisation of Mathematics (Kursstart)