Making all proceedings titles identical

This is important for indexing purposes, so that search engines etc.
can understand that this is one and the same conference series.