Seminar, Theoretical computer science

No calendar events were found within the current period.

Upcoming calendar events:

• Marc Vinyals: Marc VinyalsSpace in proof complexity

  28 Nov

  Seminar, Theoretical computer science

  Monday 2016-11-28, 12:00

  Participating: Marc Vinyals, Theory Group, KTH

  Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marc Vinyals: Marc VinyalsSpace in proof complexity (Seminar, Theoretical computer science)

• Martina Seidl: The QRAT proof system

  18 Jan

  Seminar, Theoretical computer science

  Wednesday 2017-01-18, 12:00

  Participating: Martina Seidl, Johannes Kepler University Linz

  Location: 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 (Seminar, Theoretical computer science) Room 1537, Lindstedtsvägen 3, KTH (KTH, Stockholm, Sweden)Martina Seidl: The QRAT proof system (Seminar, Theoretical computer science)

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

  23 Jan

  Seminar, Theoretical computer science

  Monday 2017-01-23, 12:00

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

  Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Susanna F. de Rezende: Cumulative space in black-white pebbling and resolution (Seminar, Theoretical computer science)