Seminarium, Teoretisk datalogi
Lö 21 januari
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
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) -
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) -
Seminarium, Teoretisk datalogi
måndag 2017-03-06, 13.15
Medverkande: Philipp Rümmer, Uppsala University
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-03-06T13:15:00.000+01:00 2017-03-06T13:15:00.000+01:00 Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems (Seminarium, Teoretisk datalogi)