Microsoft Code Contracts + C# Threading

Aaron Dandy will give a lightning talk on Microsoft Code Contracts: http://research.microsoft.com/en-us/projects/contracts/ . If time permits, Andreas will present Threading the C# way.