何时 is the formal, literary equivalent of the everyday question word 什么时候 ('when?'). You'll encounter it in written Chinese — news headlines, classical texts, formal speeches, and song lyrics — but rarely in casual conversation. It carries a slightly elevated register, so using it in speech can sound poetic or overly formal.