Seminar, Theoretical computer science
Tue 05 June - Mon 31 December
-
Seminar, Theoretical computer science
Monday 2018-06-11, 12:00
Participating: Lempel-Ziv (Guillaume Lagarde, Université Paris Diderot – Paris 7)
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Lempel-Ziv: A "one-bit catastrophe" but not a tragedy (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2018-07-02, 13:15
Participating: He Sun: Algorithms and Complexity in the School of Informatics, University of Edinburgh
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)He Sun: Heat kernels in graphs: A journey from random walks to geometry, and back (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2018-08-20, 12:00
Participating: Shiteng Chen, Tsinghua University
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Shiteng Chen: Improved depth reduction algorithm for ACC circuits and its applications (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2018-11-05, 12:00
Participating: Jan Elffers, TCS Group, KTH)
Location: 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 (Seminar, Theoretical computer science) Room 4423, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminar, Theoretical computer science)