In what format is it streamed?

Details can be found here.

You are suggesting that on the server side ICECAST is translated to whatever the receiver can handle.

Exactly. There have already been discussions about doing this, if I recall correctly.