Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines

  22 maj

  Seminarium, Teoretisk datalogi

  måndag 2017-05-22, 10.00

  Medverkande: Ina Schaefer, (Technische Universität Braunschweig, Germany)

  Plats: Room 1537, Lindstedtsvägen 3

  2017-05-22T10:00:00.000+02:00 2017-05-22T10:00:00.000+02:00 Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines (Seminarium, Teoretisk datalogi)

• Robert Robere: Unified and optimal lower bounds for monotone computation

  29 maj

  Seminarium, Teoretisk datalogi

  måndag 2017-05-29, 12.00

  Medverkande: Robert Robere, University of Toronto

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

  2017-05-29T12:00:00.000+02:00 2017-05-29T12:00:00.000+02:00 Robert Robere: Unified and optimal lower bounds for monotone computation (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Robert Robere: Unified and optimal lower bounds for monotone computation (Seminarium, Teoretisk datalogi)

• Hubert Chan: Revisiting Diffusion Process for Hypergraph Laplacian

  30 maj

  Seminarium, Teoretisk datalogi

  tisdag 2017-05-30, 13.15

  Medverkande: Hubert Chan, (University of Hong Kong)

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

  2017-05-30T13:15:00.000+02:00 2017-05-30T13:15:00.000+02:00 Hubert Chan: Revisiting Diffusion Process for Hypergraph Laplacian (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Hubert Chan: Revisiting Diffusion Process for Hypergraph Laplacian (Seminarium, Teoretisk datalogi)