Seminarium, Teoretisk datalogi

Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems

6 mar

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)

Ciaran McCreesh: Finding little graphs inside big graphs (in parallel)

10 mar

Seminarium, Teoretisk datalogi

fredag 2017-03-10, 12.00

Medverkande: Ciaran McCreesh, University of Glasgow

Plats: 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) (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Ciaran McCreesh: Finding little graphs inside big graphs (in parallel) (Seminarium, Teoretisk datalogi)

Aaron Potechin: A nearly tight sum-of-squares lower bound for the planted clique problem

13 mar

Seminarium, Teoretisk datalogi

måndag 2017-03-13, 12.00

Medverkande: Aaron Potechin, Institute for Advanced Study

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

2017-03-13T12:00:00.000+01:00 2017-03-13T12:00:00.000+01:00 Aaron Potechin: A nearly tight sum-of-squares lower bound for the planted clique problem (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Aaron Potechin: A nearly tight sum-of-squares lower bound for the planted clique problem (Seminarium, Teoretisk datalogi)

Prahladh Harsha: On polynomial approximations to AC0

15 mar

Seminarium, Teoretisk datalogi

onsdag 2017-03-15, 10.00

Medverkande: Prahladh Harsha, (Tata Institute of Fundamental Research)

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

2017-03-15T10:00:00.000+01:00 2017-03-15T10:00:00.000+01:00 Prahladh Harsha: On polynomial approximations to AC0 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Prahladh Harsha: On polynomial approximations to AC0 (Seminarium, Teoretisk datalogi)

Dmitry Sokolov: Dag-like communication and its applications

16 mar

Seminarium, Teoretisk datalogi

torsdag 2017-03-16, 13.15

Medverkande: Dmitry Sokolov, St. Petersburg Department of V. A. Steklov Institute of Mathematics

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

2017-03-16T13:15:00.000+01:00 2017-03-16T13:15:00.000+01:00 Dmitry Sokolov: Dag-like communication and its applications (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Dmitry Sokolov: Dag-like communication and its applications (Seminarium, Teoretisk datalogi)

Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction

20 mar

Seminarium, Teoretisk datalogi

måndag 2017-03-20, 13.15

Medverkande: Valentin Goranko, (Stockholm University)

Plats: Room Biblioteket 1440, Lindstedtsvägen 3

2017-03-20T13:15:00.000+01:00 2017-03-20T13:15:00.000+01:00 Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction (Seminarium, Teoretisk datalogi) Room Biblioteket 1440, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Valentin Goranko: Logical modelling, specification, verification and synthesis of multi-agent systems: an introduction (Seminarium, Teoretisk datalogi)

Igor Carboni Oliveira: Complexity theory beyond deterministic exponential time and applications

27 mar

Seminarium, Teoretisk datalogi

måndag 2017-03-27, 12.00

Medverkande: Igor Carboni Oliveira, Charles University

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

2017-03-27T12:00:00.000+02:00 2017-03-27T12:00:00.000+02:00 Igor Carboni Oliveira: Complexity theory beyond deterministic exponential time and applications (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Igor Carboni Oliveira: Complexity theory beyond deterministic exponential time and applications (Seminarium, Teoretisk datalogi)