Kalender
Må 20 mars
-
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) -
Seminarium, kommutativ algebra
måndag 2017-03-20, 14.00
Medverkande: Shmuel Friedland, Univ. of Illinois
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
2017-03-20T14:00:00.000+01:00 2017-03-20T14:00:00.000+01:00 Shmuel Friedland: On symmetric tensors (Seminarium, kommutativ algebra) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Shmuel Friedland: On symmetric tensors (Seminarium, kommutativ algebra)