Seminar, Theoretical computer science

No calendar events were found within the current period.

Upcoming calendar events:

• 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)

• Martin Monperrus: The State of the Art of Automatic Program Repair

  25 Jan

  Seminar, Theoretical computer science

  Wednesday 2017-01-25, 10:00

  Participating: Martin Monperrus, (University of Lille & INRIA France)

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

  2017-01-25T10:00:00.000+01:00 2017-01-25T10:00:00.000+01:00 Martin Monperrus: The State of the Art of Automatic Program Repair (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Martin Monperrus: The State of the Art of Automatic Program Repair (Seminar, Theoretical computer science)