8. SoCC 2017: Santa Clara, CA, USA

maintained by Schloss Dagstuhl LZI at University of Trier