Seminar, Theoretical computer science

No calendar events were found within the current period.

Upcoming calendar events:

• Igor Carboni Oliveira: Complexity theory beyond deterministic exponential time and applications

  27 Mar

  Seminar, Theoretical computer science

  Monday 2017-03-27, 12:00

  Participating: Igor Carboni Oliveira, Charles University

  Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Igor Carboni Oliveira: Complexity theory beyond deterministic exponential time and applications (Seminar, Theoretical computer science)

• Meysam Aghighi: Complexity results in automated planning

  10 Apr

  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)

• 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)