Seminar, Theoretical computer science
Sat 20 May - Sun 31 December
-
Seminar, Theoretical computer science
Monday 2017-05-22, 10:00
Participating: Ina Schaefer, (Technische Universität Braunschweig, Germany)
Location: 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 (Seminar, Theoretical computer science) 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 (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-05-29, 12:00
Participating: Robert Robere, University of Toronto
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Robert Robere: Unified and optimal lower bounds for monotone computation (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Tuesday 2017-05-30, 13:15
Participating: Hubert Chan, (University of Hong Kong)
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Hubert Chan: Revisiting Diffusion Process for Hypergraph Laplacian (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-09-11, 13:15
Participating: Romain Wallon (Université d'Artois)
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-09-25, 12:00
Participating: Sagnik Mukhopadhyay, Theory Group, KTH
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Tuesday 2017-09-26, 13:00
Participating: Tegawendé Bissyandé, Research Associate @SnT / Univ. Luxembourg
Location: 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 (Seminar, Theoretical computer science) 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 (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Tuesday 2017-10-10, 13:15
Participating: Elena Troubitsyna, Åbo Akademi, Finland
Location: 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 (Seminar, Theoretical computer science) Room 4618, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-11-06, 12:00
Participating: Bart Bogaerts, Katholieke Universiteit Leuven
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Bart Bogaerts: Symmetry exploitation for combinatorial problems (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-11-13, 12:00
Participating: Michele Scquizzato, TCS Group, KTH
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Michele Scquizzato: Distributed computation of large-scale graph problems (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-11-20, 12:00
Participating: Jakob Nordström, TCS Group, KTH
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Jakob Nordström: Understanding conflict-driven SAT solving through the lens of proof complexity (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-11-27, 12:00
Participating: Johannes Klaus Fichte, Technische Universität Wien
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Johannes Klaus Fichte: Parameterized complexity of answer set programming (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Wednesday 2017-12-06, 12:00
Participating: Thomas Watson, University of Memphis
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Thomas Watson: Query-to-communication lifting for BPP (Seminar, Theoretical computer science)