Seminar, Theoretical computer science

Lenore Zuck: Witnessing: From Optimization to Verification to Optimization

21 Apr

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)