Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Marc Vinyals: Marc VinyalsSpace in proof complexity

  28 nov

  Seminarium, Teoretisk datalogi

  måndag 2016-11-28, 12.00

  Medverkande: Marc Vinyals, Theory Group, KTH

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

  2016-11-28T12:00:00.000+01:00 2016-11-28T12:00:00.000+01:00 Marc Vinyals: Marc VinyalsSpace in proof complexity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marc Vinyals: Marc VinyalsSpace in proof complexity (Seminarium, Teoretisk datalogi)

• Martina Seidl: The QRAT proof system

  18 jan

  Seminarium, Teoretisk datalogi

  onsdag 2017-01-18, 12.00

  Medverkande: Martina Seidl, Johannes Kepler University Linz

  Plats: Room 1537, Lindstedtsvägen 3, KTH

  2017-01-18T12:00:00.000+01:00 2017-01-18T12:00:00.000+01:00 Martina Seidl: The QRAT proof system (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH (KTH, Stockholm, Sweden)Martina Seidl: The QRAT proof system (Seminarium, Teoretisk datalogi)

• Susanna F. de Rezende: Cumulative space in black-white pebbling and resolution

  23 jan

  Seminarium, Teoretisk datalogi

  måndag 2017-01-23, 12.00

  Medverkande: Susanna F. de Rezende, Theory Group, KTH

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

  2017-01-23T12:00:00.000+01:00 2017-01-23T12:00:00.000+01:00 Susanna F. de Rezende: Cumulative space in black-white pebbling and resolution (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Susanna F. de Rezende: Cumulative space in black-white pebbling and resolution (Seminarium, Teoretisk datalogi)