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)

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

25 jan

Seminarium, Teoretisk datalogi

onsdag 2017-01-25, 10.00

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

Plats: 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 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Martin Monperrus: The State of the Art of Automatic Program Repair (Seminarium, Teoretisk datalogi)