dininghall

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