dininghall
dininghall
n.
a large room at a college or university, used especially for dining.