Seminarium, Teoretisk datalogi

Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems

10 okt

Seminarium, Teoretisk datalogi

tisdag 2017-10-10, 13.15

Medverkande: Elena Troubitsyna, Åbo Akademi, Finland

Plats: Room 4618, Lindstedtsvägen 5, KTH CSC

2017-10-10T13:15:00.000+02:00 2017-10-10T13:15:00.000+02:00 Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems (Seminarium, Teoretisk datalogi) Room 4618, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems (Seminarium, Teoretisk datalogi)

Bart Bogaerts: Symmetry exploitation for combinatorial problems

6 nov

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)

Michele Scquizzato: Distributed computation of large-scale graph problems

13 nov

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)

Jakob Nordström: Understanding conflict-driven SAT solving through the lens of proof complexity

20 nov

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)

Johannes Klaus Fichte: Parameterized complexity of answer set programming

27 nov

Seminarium, Teoretisk datalogi

måndag 2017-11-27, 12.00

Medverkande: Johannes Klaus Fichte, Technische Universität Wien

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

2017-11-27T12:00:00.000+01:00 2017-11-27T12:00:00.000+01:00 Johannes Klaus Fichte: Parameterized complexity of answer set programming (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Johannes Klaus Fichte: Parameterized complexity of answer set programming (Seminarium, Teoretisk datalogi)

Thomas Watson: Query-to-communication lifting for BPP

6 dec

Seminarium, Teoretisk datalogi

onsdag 2017-12-06, 12.00

Medverkande: Thomas Watson, University of Memphis

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

2017-12-06T12:00:00.000+01:00 2017-12-06T12:00:00.000+01:00 Thomas Watson: Query-to-communication lifting for BPP (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Thomas Watson: Query-to-communication lifting for BPP (Seminarium, Teoretisk datalogi)