One of the sleepers at the EBC was the “annoucement” that MSF Formal became MSF for CMMI. It was shared that support for CMMI was actully announced in March. Where was I?
My current client is using MSF 3.1, so I was checking around for more info on MSF for CMMI. I found David Anderson's blog entry on the announcement. It has a good overview of the gist of MSF for CMMI. Tidbit here is that they're supporting level 3 in this release and will shoot for level 5 in a future release. The big news however is the attempt to apply agile concepts to formal development. Given the input he's had be SEI, he actually may be able to pull it off.
David is a PM on Team System and has a great blog. Read it here.
Unfortunately I haven't found any details on whether anything from MSF 3.0 was preserved. Given the “Ground up” approach they seem to be taking, I think not.