Seminar, Theoretical computer science
Fri 17 March
No calendar events were found within the current period.
Upcoming calendar events:
-
Seminar, Theoretical computer science
Monday 2017-03-20, 13:15
Participating: Valentin Goranko, (Stockholm University)
Location: 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 (Seminar, Theoretical computer science) Room Biblioteket 1440, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction (Seminar, Theoretical computer science) -
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) -
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)