i don't know if there is a built in openacs helper proc, but i use tcl's clock format.
http://www.tcl.tk/man/tcl8.4/TclCmd/clock.htm
it takes a datetime value (in seconds) and formats it. if you want to do the opposite and translate a datetime into seconds, use clock scan.