Seminar, Theoretical computer science
Mon 06 March - Sun 12 March
-
Seminar, Theoretical computer science
Monday 2017-03-06, 13:15
Participating: Philipp Rümmer, Uppsala University
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Friday 2017-03-10, 12:00
Participating: Ciaran McCreesh, University of Glasgow
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-03-10T12:00:00.000+01:00 2017-03-10T12:00:00.000+01:00 Ciaran McCreesh: Finding little graphs inside big graphs (in parallel) (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Ciaran McCreesh: Finding little graphs inside big graphs (in parallel) (Seminar, Theoretical computer science)