Disputationer
To 27 oktober
-
Disputationer
Datalogi
torsdag 2022-10-27, 14.00
Plats: F3, Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/68576785278
Respondent: Kilian Risse , Teoretisk datalogi, TCS
2022-10-27T14:00:00.000+02:00 2022-10-27T14:00:00.000+02:00 On Long Proofs of Simple Truths (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)On Long Proofs of Simple Truths (Disputationer)