Seminarium, Teoretisk datalogi
Må 16 oktober
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Teoretisk datalogi
måndag 2017-11-06, 12.00
Medverkande: Bart Bogaerts, Katholieke Universiteit Leuven
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-11-06T12:00:00.000+01:00 2017-11-06T12:00:00.000+01:00 Bart Bogaerts: Symmetry exploitation for combinatorial problems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Bart Bogaerts: Symmetry exploitation for combinatorial problems (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2017-11-13, 12.00
Medverkande: Michele Scquizzato, TCS Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC 
2017-11-13T12:00:00.000+01:00 2017-11-13T12:00:00.000+01:00 Michele Scquizzato: Distributed computation of large-scale graph problems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Michele Scquizzato: Distributed computation of large-scale graph problems (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2017-11-20, 12.00
Medverkande: Jakob Nordström, TCS Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC 
2017-11-20T12:00:00.000+01:00 2017-11-20T12:00:00.000+01:00 Jakob Nordström: Understanding conflict-driven SAT solving through the lens of proof complexity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Jakob Nordström: Understanding conflict-driven SAT solving through the lens of proof complexity (Seminarium, Teoretisk datalogi)