Kalender
Ti 27 september
-
Konferens
må 2011-09-26, 13.50 - fr 2011-09-30, 17.45
Plats: Institut Mittag-Leffler, Auravägen 17, Djursholm
2011-09-26T13:50:00.709+02:00 2011-09-30T17:45:00.709+02:00 Workshop on operator theory and integrable systems (Konferens) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Workshop on operator theory and integrable systems (Konferens) -
Seminarium, Teoretisk datalogi
tisdag 2011-09-27, 10.15
Plats: Room 1537, Lindstedtsvägen 3, KTH CSC
2011-09-27T10:15:00.367+02:00 2011-09-27T10:15:00.367+02:00 Krzysztof Rzadca: Increasing availability in a p2p storage system through a truthful taxation mechanism (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, KTH CSC (KTH, Stockholm, Sweden)Krzysztof Rzadca: Increasing availability in a p2p storage system through a truthful taxation mechanism (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
tisdag 2011-09-27, 13.15
Plats: Room 1537, Lindstedtsvägen 3, CSC, KTH
2011-09-27T13:15:00.568+02:00 2011-09-27T13:15:00.568+02:00 John Sass: Boolean polynomials and Gröbner bases: An Algebraic Approach to solving the SAT-problem (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3, CSC, KTH (KTH, Stockholm, Sweden)John Sass: Boolean polynomials and Gröbner bases: An Algebraic Approach to solving the SAT-problem (Seminarium, Teoretisk datalogi)