3. SoCC 2012: San Jose, CA, USA

maintained by Schloss Dagstuhl LZI at University of Trier