Seminarium, Teoretisk datalogi

Makrand Sinha: Simplified Separation of Information and Communication

7 mar

Seminarium, Teoretisk datalogi

onsdag 2018-03-07, 12.00

Medverkande: Makrand Sinha, University of Washington

Plats: ROOM 1537, Lindstedtsvägen 3, KTH

2018-03-07T12:00:00.000+01:00 2018-03-07T12:00:00.000+01:00 Makrand Sinha: Simplified Separation of Information and Communication (Seminarium, Teoretisk datalogi) ROOM 1537, Lindstedtsvägen 3, KTH (KTH, Stockholm, Sweden)Makrand Sinha: Simplified Separation of Information and Communication (Seminarium, Teoretisk datalogi)

Jo Devriendt: How combinatorial solvers generate proofs

8 mar

Seminarium, Teoretisk datalogi

torsdag 2018-03-08, 12.00

Medverkande: Jo Devriendt, Katholieke Universiteit Leuven

Plats: Room 1537, Lindstedtsvägen 3, KTH 

2018-03-08T12:00:00.000+01:00 2018-03-08T12:00:00.000+01:00 Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH  (KTH, Stockholm, Sweden)Jo Devriendt: How combinatorial solvers generate proofs (Seminarium, Teoretisk datalogi)

Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes

12 mar

Seminarium, Teoretisk datalogi

måndag 2018-03-12, 12.00

Medverkande: Annie Raymond, University of Massachusetts Amherst

Plats: Room 4523, Lindstedtsvägen 5, KTH

2018-03-12T12:00:00.000+01:00 2018-03-12T12:00:00.000+01:00 Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Annie Raymond: Symmetric Sums of Squares over k-subset hypercubes (Seminarium, Teoretisk datalogi)

Janne Kokkala: Computational classification of combinatorial objects

19 mar

Seminarium, Teoretisk datalogi

måndag 2018-03-19, 12.00

Medverkande: Janne Kokkala, Aalto University

Plats: Room 4523, Lindstedtsvägen 5, KTH

2018-03-19T12:00:00.000+01:00 2018-03-19T12:00:00.000+01:00 Janne Kokkala: Computational classification of combinatorial objects (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Janne Kokkala: Computational classification of combinatorial objects (Seminarium, Teoretisk datalogi)

Aleksandar Zeljic: From machine arithmetic to approximations and back again

22 mar

Seminarium, Teoretisk datalogi

torsdag 2018-03-22, 12.00

Medverkande: Aleksandar Zeljic, Uppsala University

Plats: Room 4532, Lindstedtsvägen 5, KTH

2018-03-22T12:00:00.000+01:00 2018-03-22T12:00:00.000+01:00 Aleksandar Zeljic: From machine arithmetic to approximations and back again (Seminarium, Teoretisk datalogi) Room 4532, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Aleksandar Zeljic: From machine arithmetic to approximations and back again (Seminarium, Teoretisk datalogi)