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)