Seminar, Theoretical computer science
Sat 01 April - Sun 30 April
-
Seminar, Theoretical computer science
Monday 2017-04-10, 12:00
Participating: Meysam Aghighi, Linköping University
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-04-10T12:00:00.000+02:00 2017-04-10T12:00:00.000+02:00 Meysam Aghighi: Complexity results in automated planning (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Meysam Aghighi: Complexity results in automated planning (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Friday 2017-04-21, 12:00
Participating: Lenore Zuck, University of Illinois, Chicago
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-04-21T12:00:00.000+02:00 2017-04-21T12:00:00.000+02:00 Lenore Zuck: Witnessing: From Optimization to Verification to Optimization (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Lenore Zuck: Witnessing: From Optimization to Verification to Optimization (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-04-24, 12:00
Participating: Thatchaphol Saranurak, (TCS group - KTH)
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-04-24T12:00:00.000+02:00 2017-04-24T12:00:00.000+02:00 Thatchaphol Saranurak: Dynamic (Minimum) Spanning Forest with Worst-case Update Time (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Thatchaphol Saranurak: Dynamic (Minimum) Spanning Forest with Worst-case Update Time (Seminar, Theoretical computer science)