Seminarium, Beräkningsmatematik
To 7 april
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Beräkningsmatematik
onsdag 2022-10-05, 13.00
Medverkande: Ivan Di Liberti
Plats: Albano, Cramer room
2022-10-05T13:00:00.000+02:00 2022-10-05T13:00:00.000+02:00 Ivan Di Liberti: \vdash vs \models (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Ivan Di Liberti: \vdash vs \models (Seminarium, Beräkningsmatematik)