They are still in the AppxChange - but not listed publicly. You can google search for them and see Marketo in there. I wasnt sure what was going to happen after the recent acquisition news.
Interesting to think that at this point, Marketo is the only marketing automation tool that is NOT associated directly with a CRM. Will be a wait and see at this point.
Dreamforce - it was just decided today literally so Im sure the sponsorship will be removed at some point soon.