The Collaborative International Dictionary
dininghall \dininghall\, dining-hall \dining-hall\, dining hall \dining hall\n. a large room at a college or university, used especially for dining.
Wiktionary
alt. a large room, typically in schools or colleges, where people eat together n. a large room, typically in schools or colleges, where people eat together
Usage examples of "dining hall".
My young friend and I strolled through the foyer into the dining hall.
He pushed open one of the double doors and stepped into the former dining hall, glancing at the big chair, standing alone in the long room.
I took meals in my cabin, refusing even to take my evening meal in the dining hall with the passengers.
The servants had been relegated to their own dining hall on the castle's south range.
At the door to the dining hall he paused to run his hands through his gray hair and shake his head a couple of times.
He was grateful that, since early childhood, he had eaten most of his meals in the school dining hall, first at a faculty table with another faculty family, and later with his fellow students.