A campus traditionally refers to the land and buildings of a college or university. This will often include libraries, lecture halls, student centers and, for residential universities, residence halls and dining halls. From Wikipedia
Masked pro-Palestinian demonstrators injured two campus officers and were removed by NYPD following an hours-long occupation of Butler Library.
