Seminarium, Teoretisk datalogi

Meysam Aghighi: Complexity results in automated planning

10 apr

Seminarium, Teoretisk datalogi

måndag 2017-04-10, 12.00

Medverkande: Meysam Aghighi, Linköping University

Plats: 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 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Meysam Aghighi: Complexity results in automated planning (Seminarium, Teoretisk datalogi)

Lenore Zuck: Witnessing: From Optimization to Verification to Optimization

21 apr

Seminarium, Teoretisk datalogi

fredag 2017-04-21, 12.00

Medverkande: Lenore Zuck, University of Illinois, Chicago

Plats: 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 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Lenore Zuck: Witnessing: From Optimization to Verification to Optimization (Seminarium, Teoretisk datalogi)

Thatchaphol Saranurak: Dynamic (Minimum) Spanning Forest with Worst-case Update Time

24 apr

Seminarium, Teoretisk datalogi

måndag 2017-04-24, 12.00

Medverkande: Thatchaphol Saranurak, (TCS group - KTH)

Plats: 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 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Thatchaphol Saranurak: Dynamic (Minimum) Spanning Forest with Worst-case Update Time (Seminarium, Teoretisk datalogi)