Full, formal name of the smaller auditorium in the Performing Arts Center; informally, Ramsey Hall.