Noun: dining-hall
- A large room at a college or university; used especially for dining
"Students gathered in the dining-hall for their evening meal"
Derived forms: dining-halls
Type of: dining room, dining-room