dining-hall

noun

1.
a large room at a college or university; used especially for dining