dininghall

dininghall

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