Is hasta luego formal

"Hasta luego" is neither formal nor informal, it straddles the middle between them and can be used in most situations. If you want a truly formal way of saying goodbye, "AdiOS" is probably the most formal. "Chao" correspondingly, should only be used between close friends or family members who are your age or younger.