Lambda the Ultimate

Surprised to see there hasn't been a mention of Microsoft's recent PDC. They have some interesting talks available on the web.

There are a couple of videos on "Oslo," their DSL framework. Discussion of finding bugs in concurrent programs. An introduction to F#. For me, the most interesting, and the most unexpected talk was on contracts being integrated into .NET as a library. These pre/post conditions and invariants can be checked at compile time and another project "Pex" can use them to generate unit tests.