Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Jan Elffers: Towards faster pseudo-Boolean SAT solving

  5 nov

  Seminarium, Teoretisk datalogi

  måndag 2018-11-05, 12.00

  Medverkande: Jan Elffers, TCS Group, KTH)

  Plats: Room 4423, Lindstedtsvägen 5, KTH

  2018-11-05T12:00:00.000+01:00 2018-11-05T12:00:00.000+01:00 Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminarium, Teoretisk datalogi) Room 4423, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Towards faster pseudo-Boolean SAT solving (Seminarium, Teoretisk datalogi)

• Kilian Risse: Some new applications of Razborov's pseudo-width method

  11 mar

  Seminarium, Teoretisk datalogi

  måndag 2019-03-11, 12.00

  Medverkande: Kilian Risse

  Plats: Room 4523, Lindstedtsvägen 5 - floor 5

  2019-03-11T12:00:00.000+01:00 2019-03-11T12:00:00.000+01:00 Kilian Risse: Some new applications of Razborov's pseudo-width method (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 - floor 5 (KTH, Stockholm, Sweden)Kilian Risse: Some new applications of Razborov's pseudo-width method (Seminarium, Teoretisk datalogi)

• Paul Beame: Time-space tradeoffs for learning finite functions from random evaluations, with applications to polynomials

  25 mar

  Seminarium, Teoretisk datalogi

  måndag 2019-03-25, 12.00

  Medverkande: Paul Beame

  Plats: Room 4523, Lindstedtsvägen 5 - floor 5, KTH

  2019-03-25T12:00:00.000+01:00 2019-03-25T12:00:00.000+01:00 Paul Beame: Time-space tradeoffs for learning finite functions from random evaluations, with applications to polynomials (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 - floor 5, KTH (KTH, Stockholm, Sweden)Paul Beame: Time-space tradeoffs for learning finite functions from random evaluations, with applications to polynomials (Seminarium, Teoretisk datalogi)