SoCC 2014: Las Vegas, NV, USA

maintained by Schloss Dagstuhl LZI at University of Trier