Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction

  20 mar

  Seminarium, Teoretisk datalogi

  måndag 2017-03-20, 13.15

  Medverkande: Valentin Goranko, (Stockholm University)

  Plats: Room Biblioteket 1440, Lindstedtsvägen 3

  2017-03-20T13:15:00.000+01:00 2017-03-20T13:15:00.000+01:00 Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction (Seminarium, Teoretisk datalogi) Room Biblioteket 1440, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction (Seminarium, Teoretisk datalogi)

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

  27 mar

  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)

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