a place for higher or professional education; (a group of teachers and students forming) part of a university

institution of higher education

a large dining-room (e.g. in a college)

room for large affairs