Definitions of dining-hall:

• noun:   a large room at a college or university; used especially for dining