Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Makrand Sinha: Simplified Separation of Information and Communication

  7 mar

  Seminarium, Teoretisk datalogi

  onsdag 2018-03-07, 12.00

  Medverkande: Makrand Sinha, University of Washington

  Plats: ROOM 1537, Lindstedtsvägen 3, KTH

  2018-03-07T12:00:00.000+01:00 2018-03-07T12:00:00.000+01:00 Makrand Sinha: Simplified Separation of Information and Communication (Seminarium, Teoretisk datalogi) ROOM 1537, Lindstedtsvägen 3, KTH (KTH, Stockholm, Sweden)Makrand Sinha: Simplified Separation of Information and Communication (Seminarium, Teoretisk datalogi)

• Jo Devriendt: How combinatorial solvers generate proofs

  8 mar

  Seminarium, Teoretisk datalogi

  torsdag 2018-03-08, 12.00

  Medverkande: Jo Devriendt, Katholieke Universiteit Leuven

  Plats: Room 1537, Lindstedtsvägen 3, KTH 

  2018-03-08T12:00:00.000+01:00 2018-03-08T12:00:00.000+01:00 Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH  (KTH, Stockholm, Sweden)Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi)

• Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes

  12 mar

  Seminarium, Teoretisk datalogi

  måndag 2018-03-12, 12.00

  Medverkande: Annie Raymond, University of Massachusetts Amherst

  Plats: Room 4523, Lindstedtsvägen 5, KTH

  2018-03-12T12:00:00.000+01:00 2018-03-12T12:00:00.000+01:00 Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes (Seminarium, Teoretisk datalogi)