>In order to convert a date + a time string to datetime the date has to be in the format "yyyy-mm-dd". I tried DTOS() and DTOC() but none have it. Of course, I can take DTOS() and insert the dashes between year-month-date. But do you see a simpler way?

You have DATE() and TIME() separately, right?