Kursstart
On 22 januari - Fr 31 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 PhD course: Computer Formalisation of Mathematics (Kursstart) Cramérrummet (KTH, Stockholm, Sweden)PhD course: Computer Formalisation of Mathematics (Kursstart)