Kalender

Gustav Sennton: Towards an understanding of the power of CDCL SAT solvers

15 maj

Seminarium, Teoretisk datalogi

torsdag 2014-05-15, 10.00

Medverkande: Gustav Sennton, KTH

Plats: Room 1537, Lindstedsvägen 3, KTH CSC

2014-05-15T10:00:00.565+02:00 2014-05-15T10:00:00.565+02:00 Gustav Sennton: Towards an understanding of the power of CDCL SAT solvers (Seminarium, Teoretisk datalogi) Room 1537, Lindstedsvägen 3, KTH CSC (KTH, Stockholm, Sweden)Gustav Sennton: Towards an understanding of the power of CDCL SAT solvers (Seminarium, Teoretisk datalogi)

Richard Tsai: Introduction to Level Set Method and related topics (part 2)

15 maj

Seminarium, Numerisk analys

torsdag 2014-05-15, 14.15

Medverkande: Richard Tsai, KTH

Plats: KTH mathematics, Lindstedtsvägen 25, floor 7, Room 3721

2014-05-15T14:15:00.867+02:00 2014-05-15T14:15:00.867+02:00 Richard Tsai: Introduction to Level Set Method and related topics (part 2) (Seminarium, Numerisk analys) KTH mathematics, Lindstedtsvägen 25, floor 7, Room 3721 (KTH, Stockholm, Sweden)Richard Tsai: Introduction to Level Set Method and related topics (part 2) (Seminarium, Numerisk analys)