is adios formal or informal?
A more formal way of saying goodbye is to use adiós. You'll see this listed as “goodbye” in many phrasebooks, but it's an oddball word. Saying adiós is like saying “farewell” in English; it's formal but normally too melodramatic for use in standard social situations.