Formatting Date/Time

I have a date like this: Fri Oct 31 17:08:45 +0100 2008. How can i convert this to a date like: 2008-10-31 ?
...