Oh, I assure you, there was nothing elegant about it! The dorms were all called "Halls" too. I guess they just thought "Dining Hall" sounded better than "Eating Hall."
Yes, maybe the “dining hall” is the right word. The “cafeteria” is more elegant and the food served should be much more delicious.
The food is served here this way: students order their food paying in campus cards at the counters and bring the food trays to the tables themselves. The taste of the food is so so, not delicious but not very bad either. After eat