Full formal name of the large auditorium in the Performing Arts Center; Hodgson Hall is acceptable on first reference in all but the most formal settings.