Should I normalize inconsistent proceedings titles?
The Conference on Precision Electromagnetic Measurements (CPEM) is one conference in my field that suffers from the same problem, complicated by the fact that the proceedings are called conference digest, instead (digest is put sometimes at the beginning, sometimes at the end). I have never seen works from this conference cited in the same way, and given that this conference started in 1962, if there were serious problems in finding the proceedings in the libraries, probably some form of standardization would have come out along the years.

In general, I try to be consistent, at least within a paper. Your example, composed of both the full and the abbreviated titles, seems fine to me: in any case it gives the reader, even one not familiar with your field, all the possible search keys to identify the volume (and one familiar with the conference would probably not care anyway).