Seminarium, Teoretisk datalogi
Ti 10 april
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Teoretisk datalogi
onsdag 2018-04-11, 12.00
Medverkande: Susanna F. de Rezende, TCS Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-04-11T12:00:00.000+02:00 2018-04-11T12:00:00.000+02:00 Susanna F. de Rezende: Clique Is Hard on Average for Regular Resolution (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Susanna F. de Rezende: Clique Is Hard on Average for Regular Resolution (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2018-04-23, 12.00
Medverkande: Daniela Ritirc, Johannes Kepler Universität Linz
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-04-23T12:00:00.000+02:00 2018-04-23T12:00:00.000+02:00 Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2018-05-21, 12.00
Medverkande: Or Meir, University of Haifa
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-05-21T12:00:00.000+02:00 2018-05-21T12:00:00.000+02:00 Or Meir: Toward the KRW conjecture: Cubic lower bounds via communication complexity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Or Meir: Toward the KRW conjecture: Cubic lower bounds via communication complexity (Seminarium, Teoretisk datalogi)