Question: are shoes without laces formal?
Answer: There's a case to be made that shoes can't really be considered classically formal if they lack shoelaces. Lace-up shoes are certainly designed for formality, and that's easy to see in the Batta from Belvedere.