Seminarium, Teoretisk datalogi
Fr 30 mars - Må 31 december
-
Seminarium, Teoretisk datalogi
måndag 2018-04-09, 12.00
Medverkande: Avishay Tal, Stanford University
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-04-09T12:00:00.000+02:00 2018-04-09T12:00:00.000+02:00 Avishay Tal: Improved pseudorandomness for unordered branching programs through local monotonicity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Avishay Tal: Improved pseudorandomness for unordered branching programs through local monotonicity (Seminarium, Teoretisk datalogi) -
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) -
Seminarium, Teoretisk datalogi
måndag 2018-06-11, 12.00
Medverkande: Lempel-Ziv (Guillaume Lagarde, Université Paris Diderot – Paris 7)
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-06-11T12:00:00.000+02:00 2018-06-11T12:00:00.000+02:00 Lempel-Ziv: A "one-bit catastrophe" but not a tragedy (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Lempel-Ziv: A "one-bit catastrophe" but not a tragedy (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2018-07-02, 13.15
Medverkande: He Sun: Algorithms and Complexity in the School of Informatics, University of Edinburgh
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-07-02T13:15:00.000+02:00 2018-07-02T13:15:00.000+02:00 He Sun: Heat kernels in graphs: A journey from random walks to geometry, and back (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)He Sun: Heat kernels in graphs: A journey from random walks to geometry, and back (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2018-08-20, 12.00
Medverkande: Shiteng Chen, Tsinghua University
Plats: Room 4523, Lindstedtsvägen 5, KTH
2018-08-20T12:00:00.000+02:00 2018-08-20T12:00:00.000+02:00 Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2018-11-05, 12.00
Medverkande: Jan Elffers, TCS Group, KTH)
Plats: Room 4423, Lindstedtsvägen 5, KTH
2018-11-05T12:00:00.000+01:00 2018-11-05T12:00:00.000+01:00 Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminarium, Teoretisk datalogi) Room 4423, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminarium, Teoretisk datalogi)