Yes, for the dinner service in the hotel's buffet restaurant, formal dress is required : long pants or formal bermuda short for men.
Sports garments, swimsuits, beachwear or similar are not allowed at dinner