updated proceedings information, leftovers from results publication that are already on the web
Authored by: sneumann 2016-06-20
Parent: [r357]
Child: [r359]