Seminarium, Teoretisk datalogi
Lö 1 oktober - Må 31 oktober
-
Seminarium, Teoretisk datalogi
måndag 2016-10-03, 14.00
Medverkande: John Augustine (IIT Madras)
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-10-03T14:00:00.000+02:00 2016-10-03T14:00:00.000+02:00 John Augustine: Robust and Efficient Computation in Dynamic Networks with Heavy Churn (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)John Augustine: Robust and Efficient Computation in Dynamic Networks with Heavy Churn (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2016-10-17, 12.00
Medverkande: Sagnik Mukhopadhyay, TIFR Mumbai
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-10-17T12:00:00.000+02:00 2016-10-17T12:00:00.000+02:00 Sagnik Mukhopadhyay: Simulation theorem and fork-lift (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sagnik Mukhopadhyay: Simulation theorem and fork-lift (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2016-10-24, 13.15
Medverkande: Walid Taha, (Halmstad University)
Plats: Room 1440 Biblioteket, Lindstedtsvägen 3
2016-10-24T13:15:00.000+02:00 2016-10-24T13:15:00.000+02:00 Walid Taha: Rigorous simulation (Seminarium, Teoretisk datalogi) Room 1440 Biblioteket, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Walid Taha: Rigorous simulation (Seminarium, Teoretisk datalogi)