5. SoCC 2014: Seattle, WA, USA

maintained by Schloss Dagstuhl LZI at University of Trier