Seminarium, Teoretisk datalogi

Jonah Brown-Cohen: The matching problem has no small symmetric SDP

19 feb

Seminarium, Teoretisk datalogi

måndag 2018-02-19, 12.00

Medverkande: Jonah Brown-Cohen, UC Berkeley

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC 

2018-02-19T12:00:00.000+01:00 2018-02-19T12:00:00.000+01:00 Jonah Brown-Cohen: The matching problem has no small symmetric SDP (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Jonah Brown-Cohen: The matching problem has no small symmetric SDP (Seminarium, Teoretisk datalogi)

Makrand Sinha: Simplified Separation of Information and Communication

7 mar

Seminarium, Teoretisk datalogi

onsdag 2018-03-07, 12.00

Medverkande: Makrand Sinha, University of Washington

Plats: ROOM 1537, Lindstedtsvägen 3, KTH

2018-03-07T12:00:00.000+01:00 2018-03-07T12:00:00.000+01:00 Makrand Sinha: Simplified Separation of Information and Communication (Seminarium, Teoretisk datalogi) ROOM 1537, Lindstedtsvägen 3, KTH (KTH, Stockholm, Sweden)Makrand Sinha: Simplified Separation of Information and Communication (Seminarium, Teoretisk datalogi)

Jo Devriendt: How combinatorial solvers generate proofs

8 mar

Seminarium, Teoretisk datalogi

torsdag 2018-03-08, 12.00

Medverkande: Jo Devriendt, Katholieke Universiteit Leuven

Plats: Room 1537, Lindstedtsvägen 3, KTH 

2018-03-08T12:00:00.000+01:00 2018-03-08T12:00:00.000+01:00 Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH  (KTH, Stockholm, Sweden)Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi)

Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes

12 mar

Seminarium, Teoretisk datalogi

måndag 2018-03-12, 12.00

Medverkande: Annie Raymond, University of Massachusetts Amherst

Plats: Room 4523, Lindstedtsvägen 5, KTH

2018-03-12T12:00:00.000+01:00 2018-03-12T12:00:00.000+01:00 Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes (Seminarium, Teoretisk datalogi)

Janne Kokkala: Computational classification of combinatorial objects

19 mar

Seminarium, Teoretisk datalogi

måndag 2018-03-19, 12.00

Medverkande: Janne Kokkala, Aalto University

Plats: Room 4523, Lindstedtsvägen 5, KTH

2018-03-19T12:00:00.000+01:00 2018-03-19T12:00:00.000+01:00 Janne Kokkala: Computational classification of combinatorial objects (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Janne Kokkala: Computational classification of combinatorial objects (Seminarium, Teoretisk datalogi)

Aleksandar Zeljic: From machine arithmetic to approximations and back again

22 mar

Seminarium, Teoretisk datalogi

torsdag 2018-03-22, 12.00

Medverkande: Aleksandar Zeljic, Uppsala University

Plats: Room 4532, Lindstedtsvägen 5, KTH

2018-03-22T12:00:00.000+01:00 2018-03-22T12:00:00.000+01:00 Aleksandar Zeljic: From machine arithmetic to approximations and back again (Seminarium, Teoretisk datalogi) Room 4532, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Aleksandar Zeljic: From machine arithmetic to approximations and back again (Seminarium, Teoretisk datalogi)

Avishay Tal: Improved pseudorandomness for unordered branching programs through local monotonicity

9 apr

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)

Susanna F. de Rezende: Clique Is Hard on Average for Regular Resolution

11 apr

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)

Daniela Ritirc: On the problem of arithmetic circuit verification using computer algebra

23 apr

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)

Or Meir: Toward the KRW conjecture: Cubic lower bounds via communication complexity

21 maj

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)

Lempel-Ziv: A "one-bit catastrophe" but not a tragedy

11 jun

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)

He Sun: Heat kernels in graphs: A journey from random walks to geometry, and back

2 jul

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)

Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications

20 aug

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)

Jan Elffers: Towards faster pseudo-Boolean SAT solving

5 nov

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)