Seminarium, Teoretisk datalogi
Må 28 november - Sö 4 december
-
Seminarium, Teoretisk datalogi
måndag 2016-11-28, 12.00
Medverkande: Marc Vinyals, Theory Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-28T12:00:00.000+01:00 2016-11-28T12:00:00.000+01:00 Marc Vinyals: Marc VinyalsSpace in proof complexity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marc Vinyals: Marc VinyalsSpace in proof complexity (Seminarium, Teoretisk datalogi)