Seminarium, Teoretisk datalogi
Ti 21 mars
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Teoretisk datalogi
måndag 2017-03-27, 12.00
Medverkande: Igor Carboni Oliveira, Charles University
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-03-27T12:00:00.000+02:00 2017-03-27T12:00:00.000+02:00 Igor Carboni Oliveira: Complexity theory beyond deterministic exponential time and applications (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Igor Carboni Oliveira: Complexity theory beyond deterministic exponential time and applications (Seminarium, Teoretisk datalogi) -
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) -
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)