Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties

  25 sep

  Seminarium, Teoretisk datalogi

  måndag 2017-09-25, 12.00

  Medverkande: Sagnik Mukhopadhyay, Theory Group, KTH

  Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

  2017-09-25T12:00:00.000+02:00 2017-09-25T12:00:00.000+02:00 Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties (Seminarium, Teoretisk datalogi)

• Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions

  26 sep

  Seminarium, Teoretisk datalogi

  tisdag 2017-09-26, 13.00

  Medverkande: Tegawendé Bissyandé, Research Associate @SnT / Univ. Luxembourg

  Plats: Room 1440 (Biblioteket), Lindstedtsvägen 3

  2017-09-26T13:00:00.000+02:00 2017-09-26T13:00:00.000+02:00 Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions (Seminarium, Teoretisk datalogi) Room 1440 (Biblioteket), Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions (Seminarium, Teoretisk datalogi)

• Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems

  10 okt

  Seminarium, Teoretisk datalogi

  tisdag 2017-10-10, 13.15

  Medverkande: Elena Troubitsyna, Åbo Akademi, Finland

  Plats: Room 4618, Lindstedtsvägen 5, KTH CSC

  2017-10-10T13:15:00.000+02:00 2017-10-10T13:15:00.000+02:00 Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems (Seminarium, Teoretisk datalogi) Room 4618, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems (Seminarium, Teoretisk datalogi)