Seminarium, Teoretisk datalogi
Fr 21 april
-
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)