Seminarium, Beräkningsmatematik

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Ivan Di Liberti: \vdash vs \models

  5 okt

  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)