Seminarium, Teoretisk datalogi
Ti 22 november
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Teoretisk datalogi
onsdag 2016-11-23, 13.15 - 15.00
Medverkande: Pavel Pudlák, Institute of Mathematics, Czech Academy of Sciences
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-23T13:15:00.000+01:00 2016-11-23T15:00:00.000+01:00 Pavel Pudlák: The lower bound challenge in proof complexity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Pavel Pudlák: The lower bound challenge in proof complexity (Seminarium, Teoretisk datalogi) -
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) -
Seminarium, Teoretisk datalogi
onsdag 2017-01-18, 12.00
Medverkande: Martina Seidl, Johannes Kepler University Linz
Plats: Room 1537, Lindstedtsvägen 3, KTH
2017-01-18T12:00:00.000+01:00 2017-01-18T12:00:00.000+01:00 Martina Seidl: The QRAT proof system (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH (KTH, Stockholm, Sweden)Martina Seidl: The QRAT proof system (Seminarium, Teoretisk datalogi)