Because of title variations, it can be difficult to search titles of proceedings in the online catalog. Feel free to ask for assistance at the reference desk.
Information that helps in searching for proceedings: name (and abbreviation) of sponsoring organization; name of conference series; title of conference in a particular year; location and date of conference. Keep in mind that proceedings are often published in the years following the conference, so publication year may not match the date of the conference.
Here are a couple of ways to search the UI Libraries catalog for proceedings
1) Do an author search for the organization name or abbreviation
2) Use a keyword search and choose some of the more important words in the conference title, the organization, or title of the conference.