Seminarium, Teoretisk datalogi
Ti 14 mars
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Teoretisk datalogi
onsdag 2017-03-15, 10.00
Medverkande: Prahladh Harsha, (Tata Institute of Fundamental Research)
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-03-15T10:00:00.000+01:00 2017-03-15T10:00:00.000+01:00 Prahladh Harsha: On polynomial approximations to AC0 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Prahladh Harsha: On polynomial approximations to AC0 (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
torsdag 2017-03-16, 13.15
Medverkande: Dmitry Sokolov, St. Petersburg Department of V. A. Steklov Institute of Mathematics
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-03-16T13:15:00.000+01:00 2017-03-16T13:15:00.000+01:00 Dmitry Sokolov: Dag-like communication and its applications (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Dmitry Sokolov: Dag-like communication and its applications (Seminarium, Teoretisk datalogi) -
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)