Seminarium, Teoretisk datalogi

Sam Hopkins: A meta-algorithm for Bayesian estimation

2 maj

Seminarium, Teoretisk datalogi

tisdag 2017-05-02, 10.15

Medverkande: (Sam Hopkins, Cornell University)

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

2017-05-02T10:15:00.000+02:00 2017-05-02T10:15:00.000+02:00 Sam Hopkins: A meta-algorithm for Bayesian estimation (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sam Hopkins: A meta-algorithm for Bayesian estimation (Seminarium, Teoretisk datalogi)

Amin Coja-Oghlan: Information-theoretic thresholds

8 maj

Seminarium, Teoretisk datalogi

måndag 2017-05-08, 12.00

Medverkande: Amin Coja-Oghlan(Goethe University)

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

2017-05-08T12:00:00.000+02:00 2017-05-08T12:00:00.000+02:00 Amin Coja-Oghlan: Information-theoretic thresholds (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Amin Coja-Oghlan: Information-theoretic thresholds (Seminarium, Teoretisk datalogi)

Mateus de Oliveira Oliveira: Representations of Monotone Boolean Functions by Linear Programs

15 maj

Seminarium, Teoretisk datalogi

måndag 2017-05-15, 13.15

Medverkande: Mateus de Oliveira Oliveira

Plats: Room 4523, Lindstedtsvägen 5

2017-05-15T13:15:00.000+02:00 2017-05-15T13:15:00.000+02:00 Mateus de Oliveira Oliveira: Representations of Monotone Boolean Functions by Linear Programs (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Mateus de Oliveira Oliveira: Representations of Monotone Boolean Functions by Linear Programs (Seminarium, Teoretisk datalogi)

Emir Demirović: An Interactive journey through combinatorial optimization: resilient solutions, multiple objectives, and logic-based approaches for timetabling

16 maj

Seminarium, Teoretisk datalogi

tisdag 2017-05-16, 10.15

Medverkande: Emir Demirović, Technische Universität Wien

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

2017-05-16T10:15:00.000+02:00 2017-05-16T10:15:00.000+02:00 Emir Demirović: An Interactive journey through combinatorial optimization: resilient solutions, multiple objectives, and logic-based approaches for timetabling (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Emir Demirović: An Interactive journey through combinatorial optimization: resilient solutions, multiple objectives, and logic-based approaches for timetabling (Seminarium, Teoretisk datalogi)

Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines

22 maj

Seminarium, Teoretisk datalogi

måndag 2017-05-22, 10.00

Medverkande: Ina Schaefer, (Technische Universität Braunschweig, Germany)

Plats: Room 1537, Lindstedtsvägen 3

2017-05-22T10:00:00.000+02:00 2017-05-22T10:00:00.000+02:00 Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines (Seminarium, Teoretisk datalogi)

Robert Robere: Unified and optimal lower bounds for monotone computation

29 maj

Seminarium, Teoretisk datalogi

måndag 2017-05-29, 12.00

Medverkande: Robert Robere, University of Toronto

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

2017-05-29T12:00:00.000+02:00 2017-05-29T12:00:00.000+02:00 Robert Robere: Unified and optimal lower bounds for monotone computation (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Robert Robere: Unified and optimal lower bounds for monotone computation (Seminarium, Teoretisk datalogi)

Hubert Chan: Revisiting Diffusion Process for Hypergraph Laplacian

30 maj

Seminarium, Teoretisk datalogi

tisdag 2017-05-30, 13.15

Medverkande: Hubert Chan, (University of Hong Kong)

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

2017-05-30T13:15:00.000+02:00 2017-05-30T13:15:00.000+02:00 Hubert Chan: Revisiting Diffusion Process for Hypergraph Laplacian (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Hubert Chan: Revisiting Diffusion Process for Hypergraph Laplacian (Seminarium, Teoretisk datalogi)

Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation

11 sep

Seminarium, Teoretisk datalogi

måndag 2017-09-11, 13.15

Medverkande: Romain Wallon (Université d'Artois)

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

2017-09-11T13:15:00.000+02:00 2017-09-11T13:15:00.000+02:00 Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation (Seminarium, Teoretisk datalogi)

Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties

25 sep

Seminarium, Teoretisk datalogi

måndag 2017-09-25, 12.00

Medverkande: Sagnik Mukhopadhyay, Theory Group, KTH

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

2017-09-25T12:00:00.000+02:00 2017-09-25T12:00:00.000+02:00 Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties (Seminarium, Teoretisk datalogi)

Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions

26 sep

Seminarium, Teoretisk datalogi

tisdag 2017-09-26, 13.00

Medverkande: Tegawendé Bissyandé, Research Associate @SnT / Univ. Luxembourg

Plats: Room 1440 (Biblioteket), Lindstedtsvägen 3

2017-09-26T13:00:00.000+02:00 2017-09-26T13:00:00.000+02:00 Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions (Seminarium, Teoretisk datalogi) Room 1440 (Biblioteket), Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions (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)